Eric
Reputation
329
Next privilege 500 Rep.
Access review queues
 Jul2 awarded Curious Nov13 accepted Impossibility of theories proving consistency of each other? Nov12 awarded Yearling Nov12 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? Nov12 asked Impossibility of theories proving consistency of each other? Oct27 accepted Is every theorem of PA true in the standard model of number theory $N$? Oct27 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:) Oct27 asked Is every theorem of PA true in the standard model of number theory $N$? Oct22 revised True and provably true sentences in a model. Are they the same thing? added 1079 characters in body Oct21 asked True and provably true sentences in a model. Are they the same thing? Sep14 awarded Nice Question Sep4 revised Shasha's safecracking problem added 85 characters in body Sep4 asked Shasha's safecracking problem May17 awarded Teacher Apr5 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. Apr4 revised Decision problem for existence of arbitrage portfolio added 4 characters in body Apr4 revised Decision problem for existence of arbitrage portfolio edited tags Apr4 revised Decision problem for existence of arbitrage portfolio edited tags Apr4 asked Decision problem for existence of arbitrage portfolio Mar21 accepted How to write a first order formula with unspecific parameter