User contributions for Tlonuqbar

Results for Tlonuqbar talk block log uploads logs abuse log

A user with 25 edits. Account created on 11 January 2026.

Jump to navigation Jump to search

02:0302:03, 12 March 2026 diff hist −3 Logical independence No edit summary Tag: Visual edit
02:0202:02, 12 March 2026 diff hist −3 Logical independence simplify Tag: Visual edit
01:5401:54, 12 March 2026 diff hist +24 Logical independence clarifying Tag: Visual edit
01:5001:50, 12 March 2026 diff hist −10 Logical independence correcting statement Tag: Visual edit
01:2801:28, 12 March 2026 diff hist +46 Logical independence crediting oscar cunningham Tag: Visual edit

08:2308:23, 1 March 2026 diff hist +256 TMBR: February 2026 independent machines Tag: Visual edit

06:3906:39, 27 February 2026 diff hist +6 Logical independence No edit summary Tag: Visual edit
06:3706:37, 27 February 2026 diff hist +1 Logical independence No edit summary
06:1806:18, 27 February 2026 diff hist +515 Non-halting Turing machine mention of independent nonhalting machines current Tag: Visual edit
06:1206:12, 27 February 2026 diff hist +867 Logical independence No edit summary Tag: Visual edit
05:1405:14, 27 February 2026 diff hist +204 Logical independence No edit summary Tag: Visual edit

22:2522:25, 25 February 2026 diff hist +358 Logical independence No edit summary Tag: Visual edit: Switched
22:0922:09, 25 February 2026 diff hist +1,016 Logical independence No edit summary Tag: Visual edit: Switched
22:0822:08, 25 February 2026 diff hist +85 N File:Independencechart.png No edit summary current
21:5621:56, 25 February 2026 diff hist +235 Logical independence No edit summary Tag: Visual edit

01:2601:26, 23 February 2026 diff hist +6 Logical independence No edit summary Tag: Visual edit

22:1422:14, 22 February 2026 diff hist +958 Logical independence adding SRP info Tag: Visual edit

00:3100:31, 13 February 2026 diff hist +111 Logical independence No edit summary Tag: Visual edit: Switched

22:1022:10, 11 February 2026 diff hist +327 Logical independence adding PA independent machine Tag: Visual edit: Switched
22:0622:06, 11 February 2026 diff hist +39 N Talk:Independence from ZFC Tlonuqbar moved page Talk:Independence from ZFC to Talk:Logical independence: expanding scope current Tag: New redirect
22:0622:06, 11 February 2026 diff hist 0 m Talk:Logical independence Tlonuqbar moved page Talk:Independence from ZFC to Talk:Logical independence: expanding scope current
22:0622:06, 11 February 2026 diff hist +34 N Independence from ZFC Tlonuqbar moved page Independence from ZFC to Logical independence: expanding scope current Tag: New redirect
22:0622:06, 11 February 2026 diff hist 0 m Logical independence Tlonuqbar moved page Independence from ZFC to Logical independence: expanding scope

19:5319:53, 2 February 2026 diff hist +737 N TMBR: February 2026 starting new TMBR Tag: Visual edit: Switched

21:2621:26, 1 February 2026 diff hist +366 TMBR: January 2026 info on new rocq proofs Tag: Visual edit

Retrieved from "https://wiki.bbchallenge.org/wiki/Special:Contributions/Tlonuqbar"