329 reputation
18
bio website
location
age
visits member for 2 years, 9 months
seen Jun 24 at 1:12

Jul
2
awarded  Curious
Nov
13
accepted Impossibility of theories proving consistency of each other?
Nov
12
awarded  Yearling
Nov
12
comment Impossibility of theories proving consistency of each other?
@GerryMyerson: But B proves A is consistent in B, why would this imply it's consistent in A?
Nov
12
asked Impossibility of theories proving consistency of each other?
Oct
27
accepted Is every theorem of PA true in the standard model of number theory $N$?
Oct
27
comment Is every theorem of PA true in the standard model of number theory $N$?
@CarstenSchultz, I think you are right the author is merely making the point that truth is not a consequence of consistency. I confused the terms. Thank you for the answer. I'll keep reading:)
Oct
27
asked Is every theorem of PA true in the standard model of number theory $N$?
Oct
22
revised True and provably true sentences in a model. Are they the same thing?
added 1079 characters in body
Oct
21
asked True and provably true sentences in a model. Are they the same thing?
Sep
14
awarded  Nice Question
Sep
4
revised Shasha's safecracking problem
added 85 characters in body
Sep
4
asked Shasha's safecracking problem
May
17
awarded  Teacher
Apr
5
comment Decision problem for existence of arbitrage portfolio
@copper.hat: Yes, you're right... For integer matrix and vectors, just solve $\min \{ h p | h X \geq 0 \}$ for $h$ using one of those algorithms, since $h$ must be rational, integer $\bar{h}$ can be obtained by multiplying h by a common multiple of its entries.
Apr
4
revised Decision problem for existence of arbitrage portfolio
added 4 characters in body
Apr
4
revised Decision problem for existence of arbitrage portfolio
edited tags
Apr
4
revised Decision problem for existence of arbitrage portfolio
edited tags
Apr
4
asked Decision problem for existence of arbitrage portfolio
Mar
21
accepted How to write a first order formula with unspecific parameter