Eric
Reputation
344
Next privilege 500 Rep.
Access review queues
1 8
Impact
~3k people reached

• 0 posts edited

58 Actions

 Dec 17 comment Compute shooting targets for the gunmen @cobaltduck, I did post this on Programming Puzzles and Code Golf SE, but unfortunately it seems they think it off-topic. Dec 16 revised Compute shooting targets for the gunmen edited tags Dec 16 revised Compute shooting targets for the gunmen added 101 characters in body Dec 16 asked Compute shooting targets for the gunmen 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