User contributions for Bbbbbbbbba
A user with 203 edits. Account created on 7 November 2010.
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