Ord
Reputation
Top tag
Next privilege 250 Rep.
 May13 accepted What is “tetrad twist” in relation to Rubik's cubes? May13 answered What is “tetrad twist” in relation to Rubik's cubes? Apr5 asked What is “tetrad twist” in relation to Rubik's cubes? Apr4 awarded Notable Question Oct22 awarded Good Answer Feb17 awarded Popular Question Jul8 awarded Nice Answer Jul8 awarded Teacher Jul8 answered Big List of Fun Math Books Jun7 awarded Editor Jun7 revised How can you add 'not G' to a formal system without introducing omega inconsistency? edited body Jun6 accepted “Flattening” a 2D Normal Distribution Jun6 awarded Nice Question Jun3 comment “Flattening” a 2D Normal Distribution So, just to confirm, the $\sigma$ in your Rayleigh pdf function is the same variable as the $\sigma$ that represents the standard deviation of the initial normal distributions, right? Jun3 asked “Flattening” a 2D Normal Distribution Apr16 accepted How can you add 'not G' to a formal system without introducing omega inconsistency? Apr16 comment How can you add 'not G' to a formal system without introducing omega inconsistency? Okay, thank you very much for your response! I think I have a much better handle on the situation now. Apr16 awarded Commentator Apr16 comment How can you add 'not G' to a formal system without introducing omega inconsistency? Excuse my ignorance, but what exactly is a "closed term", and why would omega-prime-consistency be undesirable? Apr16 comment How can you add 'not G' to a formal system without introducing omega inconsistency? @ArturoMagidin, yes, sorry I didn't make myself clear - when I said "for all a", I didn't mean that was part of the theorem that was proven, rather that, from the "outside", it is apparent that we can prove $\neg P(a)$ individually for every natural number a.