Jump to content

Blog post: ydoaPs: Assessing Interest

SFN Blogs
in SFN Blogs

Featured Replies

I am currently reading "Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I" which is Kurt Gödel's famous paper in which he proves the remarkable result that no formal system capable of arithmetic can be both consistent and complete.

 

Would there be interest in a series of posts working from zero knowledge of formal logic through some meta-logic ending with Gödel's proof and its implications on philosophy and science?

 

Drop some comments and let me know. Read and comment on the full post

Archived

This topic is now archived and is closed to further replies.

Go to topic listing

Important Information

We have placed cookies on your device to help make this website better. You can adjust your cookie settings, otherwise we'll assume you're okay to continue.

Configure browser push notifications
Chrome (Android)
  1. Tap the lock icon next to the address bar.
  2. Tap Permissions → Notifications.
  3. Adjust your preference.
Chrome (Desktop)
  1. Click the padlock icon in the address bar.
  2. Select Site settings.
  3. Find Notifications and adjust your preference.