J. Barkley Rosser | American mathematician | Britannica (original) (raw)

Learn about this topic in these articles:

Gödel’s incompleteness theorem

• 
  In metalogic: The two incompleteness theorems
  The American mathematician J. Barkley Rosser, who also contributed to number theory and applied mathematics, weakened the hypothesis to mere consistency in 1936, at the expense of complicating somewhat the initial sentence (2).
  Read More