meta user
network profile
| bio | website | |
|---|---|---|
| location | ||
| age | ||
| visits | member for | 1 year, 1 month |
| seen | 6 hours ago | |
| stats | profile views | 3 |
|
May 14 |
awarded | Caucus |
|
Apr 11 |
comment |
Proof of Proposition/Theorem V in Gödel's 1931 paper? Yes, you are right. I take back my comment. |
|
Apr 11 |
comment |
Proof of Proposition/Theorem V in Gödel's 1931 paper? Two minor remarks. For projections you should take the formula $x_1=x_1\wedge\ldots\wedge x_n=x_n\wedge y=x_i$, similarly for the zero function the proper formula is $x=x\wedge y=0$. |
|
Apr 5 |
revised |
Why is it impossible to define multiplication in Presburger arithmetic? corrected spelling and style |
|
Apr 2 |
answered | Why is it impossible to define multiplication in Presburger arithmetic? |
|
Nov 19 |
awarded | Revival |
|
Oct 14 |
revised |
Proof that $\overline{A \cap B} \subseteq \overline{A} \cap \overline{B}$ deleted 838 characters in body |
|
Oct 13 |
comment |
Proof that $\overline{A \cap B} \subseteq \overline{A} \cap \overline{B}$ Not exactly, I venture to say, since Andres uses properties which you are required to prove from the definitions in OP's question. |
|
Oct 13 |
answered | Proof that $\overline{A \cap B} \subseteq \overline{A} \cap \overline{B}$ |
|
Sep 5 |
answered | Use of undecidability |
|
Sep 4 |
revised |
Axiomatic system and Hilbert's 2nd problem Corrected a sentence which could cause misunderstanding. |
|
Sep 4 |
suggested | suggested edit on Axiomatic system and Hilbert's 2nd problem |
|
Sep 3 |
awarded | Revival |
|
Sep 3 |
awarded | Supporter |
|
Sep 2 |
answered | What is the difference between Completeness and Soundness in first order logic? |
|
Aug 31 |
awarded | Editor |
|
Aug 31 |
comment |
Russell Paradox and set theories @Asaf: I edited my answer a bit. Hope you can read my intentions now. |
|
Aug 31 |
revised |
Russell Paradox and set theories added 354 characters in body |
|
Aug 31 |
awarded | Teacher |
|
Aug 31 |
answered | Russell Paradox and set theories |
