Skip to content

Richard Zach

CV
Teaching
Research
Contact

2011-12-19 rzach

Easly Digestible 2nd Incompleteness Theorem

Thanks to Daniel Weller

Share this:

Click to share on Mastodon (Opens in new window)
Click to share on Facebook (Opens in new window)
Click to share on Reddit (Opens in new window)
Click to share on Pocket (Opens in new window)
Click to share on Twitter (Opens in new window)
Click to email a link to a friend (Opens in new window)
Click to print (Opens in new window)

Posted in Uncategorized1 Comment

Post navigation

Previous PostErnst Specker, 1920-2011 Next PostIllustrated Ways of Paradox Complete with 1960’s Ads

One thought on “Easly Digestible 2nd Incompleteness Theorem”

Aldo Antonelli says:

2011-12-19 at 19:54

But what is it?

Reply

Leave a Reply Cancel reply

Your email address will not be published. Required fields are marked *

Comment *

Name *

Email *

Website

Save my name, email, and website in this browser for the next time I comment.

Δ

Search for:

Recent Posts

W. W. Tait, 1929–2024
Converting LaTeX to HTML: technical notes
forall x now in HTML for extra accessibility
Sheffer stroke before Sheffer: Edward Stamm
Introduction à la théorie de la démonstration: Élimination des coupures, normalisation et preuves de cohérence

Recent Comments

Valeria de Paiva on W. W. Tait, 1929–2024
Bill Tait (1929-2024) | Carnap Blog on W. W. Tait, 1929–2024
William W. Tait (1929–2024) - Daily Nous on W. W. Tait, 1929–2024
Kent Peacock on Sheffer stroke before Sheffer: Edward Stamm
William J McGruder on Wff ‘n Proof

Archives

Categories

Progress
Publications
Uncategorized

Meta

Log in
Entries feed
Comments feed
WordPress.org

@rrrichardzach@mathstodon.xyz

Proudly powered by WordPress — Theme: Sequential by WordPress.com.