Reputation
339
Next privilege 500 Rep.
Access review queues
Badges
1 8
Newest
 Curious
Impact
~2k people reached

  • 0 posts edited
  • 0 helpful flags
  • 15 votes cast
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