333 reputation
1314
bio website
location USA
age 30
visits member for 2 years, 8 months
seen Aug 14 at 8:21

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