Attempt @ Recap of Gödel & Formal Systems

Trying to learn mathematics. Comments and corrections welcome. Piece of a work in progress.


All consistent axiomatic formulations of number theory include undecideable propositions.

The single, circular ‘loop’ of the statement above is the assertion that, although the statement is true, it cannot be proven to be true. This parallels the way Principia Mathematica contained mathematical statements of truth that could not be proven through the text itself.

Gödel showed that probability is a weaker notion than truth. His sentence G showed that no fixed system could adequately represent the complexity of whole numbers-no matter how complicated or elegant. No connective set of principles could explain ‘a whole’. ‘A whole’ is a sum greater than its constituent parts.

See Paul’s first letter to the Corinthians which makes the point that although sun, water, and soil are required and can explain growth, they are not growth itself. Growth results in death (sic. cell senescence) which returns as birth/reproduction.

The main paradox in math is trying to enliven our intuitive realizations with formalized, axiomatic explanations?

Author: writtencasey

I am fascinated by the scientific endeavor and I read about or engage with those processes as much as possible. I am a compulsive reader and writer. With a background in anthropology and as an arm-chair/backyard scientist, I hope to improve my writing skills and learn about any areas of weakness or misunderstanding in my analytic skills. I am excited to share. Thank you for spending time here. Please reach out if you are so inclined. I'd be excited to hear from you.

Leave a Reply

Fill in your details below or click an icon to log in:

WordPress.com Logo

You are commenting using your WordPress.com account. Log Out /  Change )

Google photo

You are commenting using your Google account. Log Out /  Change )

Twitter picture

You are commenting using your Twitter account. Log Out /  Change )

Facebook photo

You are commenting using your Facebook account. Log Out /  Change )

Connecting to %s

This site uses Akismet to reduce spam. Learn how your comment data is processed.