bio | website | |
---|---|---|
location | USA | |
age | 30 | |
visits | member for | 2 years, 7 months |
seen | Jun 6 at 7:10 | |
stats | profile views | 755 |
Once you have been struck with the beauty of a subject, devote your life to it! -Arend Heyting
Oct 1 |
awarded | Caucus |
Jun 28 |
comment |
Deduction theorem
Short answer is paraconsistent logic |
Jun 28 |
comment |
Is there an observer dependent mathematics?
I would love to see this thread get migrated to Philosophy.SE for a cogent discussion. |
Jun 28 |
comment |
Deduction theorem
The link is broken; here is a pdf version |
Jun 26 |
answered | Essential reads in the philosophy of mathematics and set theory |
Jun 5 |
comment |
How to find a topic to do research with as a Post-Doc?
Seems like OP unleashed a barrage of attacks just by asking this question. This is why I happily avoid MO. Politesse >> intellect. |
Apr 11 |
comment |
Is there an observer dependent mathematics?
Not sure what you would be the mathematical definition of "observe" but Tarski's undefinablity theorem and Godel's incompleteness theorem would be the analogue. |
Mar 16 |
awarded | Popular Question |
Mar 16 |
answered | Incidences of rigorous proofs used in legal proceedings |
Feb 11 |
comment |
Math Zeitgeist 2012
Not sure if this is what you are looking for but this link may help: press.princeton.edu/TOCs/c9821.html |
Jan 1 |
answered | Math Zeitgeist 2012 |
Dec 27 |
awarded | Yearling |
Dec 21 |
comment |
which texts do you recommend to study mathematical logic ?
This might help: math.stackexchange.com/questions/205518/… |
Dec 13 |
answered | Mathematician trying to learn string theory |
Oct 8 |
answered | Is there a general setting for self-reference? |
Sep 30 |
awarded | Organizer |
Sep 30 |
awarded | Citizen Patrol |
Sep 12 |
comment |
Category of Judgements?
I do not have the answer but the following paper defines typing judgment on page 38: andrew.cmu.edu/user/awodey/catlog/notes/notes2.pdf |
Sep 11 |
comment |
At what times were people interested in prime numbers
A link that explains Pasten's reference to Ishango bone+prime numbers planetmath.org/HistoryOfPrimeNumbers.html |
Aug 10 |
awarded | Fanatic |