User contributions for Bbbbbbbbba
A user with 206 edits. Account created on 7 November 2010.
28 May 2024
- 09:0809:08, 28 May 2024 diff hist +491 Von Neumann universe →Definition: Associated the "condensed" definition with the concept of the rank of a set, so that it makes more intuitive sense. current
- 07:2407:24, 28 May 2024 diff hist −52 Talk:Von Neumann universe →Condensed definition: Of course I was the one who should be embarrassed. current
- 06:4106:41, 28 May 2024 diff hist +1,048 Talk:Von Neumann universe →Condensed definition: Reply Tag: Reply
11 May 2024
- 07:2907:29, 11 May 2024 diff hist +251 Talk:Low-rank approximation →An error in the proof of Eckart–Young–Mirsky theorem (for Frobenius norm): Fixed format and replied. current
- 07:2607:26, 11 May 2024 diff hist −17 Low-rank approximation →Proof of Eckart–Young–Mirsky theorem (for Frobenius norm): Fixed a minor bug in the proof. current
10 May 2024
- 22:4722:47, 10 May 2024 diff hist −231 Ultrafilter Undid revision 1223167980 by Mathmensch (talk): An ultrafilter on a Boolean algebra is more general than an ultrafilter on a set, but a special case of an ultrafilter on a poset. current Tag: Undo
- 15:2715:27, 10 May 2024 diff hist +82 New Foundations →History: Edited the first few sentences to clarify the logical thread. current
9 May 2024
- 06:5306:53, 9 May 2024 diff hist +23 m New Foundations →Notes: Added a reflist for footnotes (not sure exactly how footnotes should work with sfns).
- 06:4506:45, 9 May 2024 diff hist +98 New Foundations →Models of NFU: Reordered the paragraphs to have the intuition before the formalism. Also commented out the first paragraph which still doesn't belong here.
- 05:5005:50, 9 May 2024 diff hist +162 New Foundations As of now, I think it is probably better to separate the section on consistency from the section on resolutions of the paradoxes.
8 May 2024
- 14:4414:44, 8 May 2024 diff hist −2 m New Foundations →History: Added a missing citation.
- 14:4314:43, 8 May 2024 diff hist +306 New Foundations →References: Added a reference to Grishin's paper about the consistency of NF_3.
- 14:2414:24, 8 May 2024 diff hist +463 New Foundations I decided to bite the bullet and write down what (I think) Jensen actually said in his paper, instead of "relative to PA".
4 May 2024
- 14:1314:13, 4 May 2024 diff hist +1,493 Talk:New Foundations →What is the consistency of NFU relative to (if anything)?: new section current Tag: New topic
- 06:1206:12, 4 May 2024 diff hist +1,011 New Foundations →Variants: Explained both axiomatizations of NFU.
2 May 2024
- 11:3211:32, 2 May 2024 diff hist +451 Talk:New Foundations →Non-well-founded natural numbers as well as ordinals?: Reply Tag: Reply
- 10:3110:31, 2 May 2024 diff hist +503 Talk:New Foundations →Proposal: provide weak extensionality axiom: Reply Tag: Reply
- 09:3009:30, 2 May 2024 diff hist +410 Talk:New Foundations →McLarty's results: Reply Tag: Reply
30 April 2024
- 02:4602:46, 30 April 2024 diff hist +1 m New Foundations →Natural numbers and the axiom of infinity: Grammar fix
28 April 2024
- 06:2906:29, 28 April 2024 diff hist +803 New Foundations →Typed Set Theory: Added some explanation about TTT. Tag: harv-error
27 April 2024
- 15:4015:40, 27 April 2024 diff hist +187 New Foundations →References: Added a reference to Holmes's new writeup about the consistency of NF.
- 15:3315:33, 27 April 2024 diff hist +39 New Foundations →Finite axiomatization: The first sentence was talking about types before any mention of TST.
- 05:1205:12, 27 April 2024 diff hist +818 Generalizations of Pauli matrices →Multi-qubit Pauli matrices (Hermitian): Added a subsection about notations (planning to expand the section further, probably moving to a standalone article at some point) current
- 02:3002:30, 27 April 2024 diff hist +796 Talk:New Foundations →Move NFU: Reply Tag: Reply
- 02:0602:06, 27 April 2024 diff hist +9 m Standard model (set theory) Added a missing membership symbol. current Tag: Visual edit: Switched
30 March 2024
- 09:0509:05, 30 March 2024 diff hist +727 Talk:GHZ experiment →In the language of quantum computation: Reply Tag: Reply
- 08:3708:37, 30 March 2024 diff hist +2,782 GHZ experiment Added the section "Quantum computation explanation" (see the talk page).
29 March 2024
- 15:5215:52, 29 March 2024 diff hist +560 Talk:GHZ experiment →In the language of quantum computation: Reply Tag: Reply
- 15:2915:29, 29 March 2024 diff hist +1,259 GHZ experiment →Summary description and example: Rewrote the description so that hopefully a layman actually have a chance of figuring out why this is paradoxical (for local realism).
- 03:0903:09, 29 March 2024 diff hist +1,460 Talk:GHZ experiment →In the language of quantum computation: new section Tag: New topic
11 July 2023
- 11:4111:41, 11 July 2023 diff hist +111 Hex (board game) →Computational complexity: Well, that was not what PSPACE-completeness means.
- 11:2611:26, 11 July 2023 diff hist +859 Talk:Hex (board game) →First player win, informal existence proof: Reply Tag: Reply
12 June 2023
- 08:0508:05, 12 June 2023 diff hist +643 Talk:Ultrafilter on a set →Clarifying the impossibility to "construct an explicit example" of a free ultrafilter: Reply Tag: Reply
11 June 2023
- 00:4900:49, 11 June 2023 diff hist +822 Talk:Ultrafilter on a set →Clarifying the impossibility to "construct an explicit example" of a free ultrafilter: Reply Tag: Reply
- 00:2900:29, 11 June 2023 diff hist +888 Talk:Ultrafilter on a set →Clarifying the impossibility to "construct an explicit example" of a free ultrafilter: Reply Tag: Reply
7 June 2023
- 09:4009:40, 7 June 2023 diff hist +2,819 Talk:Ultrafilter on a set →Clarifying the impossibility to "construct an explicit example" of a free ultrafilter: new section Tag: New topic
- 06:4706:47, 7 June 2023 diff hist −121 Ultrafilter on a set I copied this sentence from the "Relationships to other statements under ZF" section of this article, but the phrase "construct an explicit example" is a subtle one, and it does seem that in ZF + V=L (which implies Choice) one could point to an "explicit" object that is an ultrafilter (it is not provably an ultrafilter in ZF because it may be missing both A and X \ A for some non-constructible A). Removing this sentence for now until I could figure out how to properly qualify it.
- 04:0904:09, 7 June 2023 diff hist +554 Talk:Ultrafilter on a set →Which set theory?: Reply Tag: Reply
6 June 2023
- 22:1422:14, 6 June 2023 diff hist −1 m Hex (board game) →Notes: Fix reflist: "notes" -> "note"
- 22:1322:13, 6 June 2023 diff hist +35 m Hex (board game) →References: Added a "Notes" section.
- 22:1222:12, 6 June 2023 diff hist −178 Hex (board game) →First-player winning strategy: Added a note to resolve the {{clarify}}.
- 21:5221:52, 6 June 2023 diff hist +399 Shannon switching game →Computational complexity: Clarified the condition for a winning position. Tag: Visual edit: Switched
- 21:2621:26, 6 June 2023 diff hist +378 Talk:Ultrafilter on a set →Which set theory?: Reply Tag: Reply
4 June 2023
- 00:3100:31, 4 June 2023 diff hist +1 m Talk:Ultrafilter on a set →Requested move 1 June 2023: Added a full stop.
- 00:3100:31, 4 June 2023 diff hist +266 Talk:Ultrafilter on a set →Requested move 1 June 2023: Reply Tag: Reply
2 June 2023
- 03:5603:56, 2 June 2023 diff hist +155 Talk:Wu Yinghua →Requested move 1 June 2023: Reply Tag: Reply
- 02:1502:15, 2 June 2023 diff hist +481 Talk:Wu Yinghua →Requested move 1 June 2023: Reply Tag: Reply
- 02:1002:10, 2 June 2023 diff hist +301 Talk:Wu Yinghua →Requested move 1 June 2023: Reply Tag: Reply
- 01:3901:39, 2 June 2023 diff hist +148 Ultrafilter on a set Or we could mention the importance of free ultrafilters in the next paragraph instead; this also gives a concrete example of an application of ultrafilters.
- 01:2901:29, 2 June 2023 diff hist +16 Ultrafilter on a set Revised the new paragraph to reduce technical details. The "abstract algebra and mathematical logic" part is copied from the first sentence of the ultraproduct page.