I discover interesting things

The blog was started under the title "mi facki lei cinri zasti" which translates to English as "I discover (all the) interesting things". It features my discoveries as well as my musings on them.

Sonntag, 12. April 2009

Completness and compactness theorems

Nice article with draft of proofs:

http://terrytao.wordpress.com/2009/04/10/the-completeness-and-compactness-theorems-of-first-order-logic/
Eingestellt von Chris um 07:10
Diesen Post per E-Mail versendenBlogThis!Auf X teilenIn Facebook freigebenAuf Pinterest teilen
Labels: logics, math

Keine Kommentare:

Kommentar veröffentlichen

Neuerer Post Älterer Post Startseite
Abonnieren Kommentare zum Post (Atom)

Dieses Blog durchsuchen

Blog-Archiv

  • ►  2017 (2)
    • ►  Februar (2)
  • ►  2015 (1)
    • ►  Dezember (1)
  • ►  2014 (1)
    • ►  Juli (1)
  • ►  2013 (9)
    • ►  Dezember (1)
    • ►  Oktober (1)
    • ►  August (1)
    • ►  Juli (3)
    • ►  April (3)
  • ►  2012 (9)
    • ►  September (1)
    • ►  Mai (1)
    • ►  April (1)
    • ►  März (1)
    • ►  Februar (1)
    • ►  Januar (4)
  • ►  2011 (17)
    • ►  Dezember (7)
    • ►  November (7)
    • ►  Oktober (3)
  • ►  2010 (15)
    • ►  Juli (3)
    • ►  Juni (2)
    • ►  Mai (2)
    • ►  April (1)
    • ►  März (3)
    • ►  Februar (2)
    • ►  Januar (2)
  • ▼  2009 (29)
    • ►  Dezember (1)
    • ►  September (2)
    • ►  August (2)
    • ►  Juli (3)
    • ►  Juni (4)
    • ►  Mai (1)
    • ▼  April (7)
      • Rating systems
      • Music and sound
      • Persistence of intuitive beliefs
      • Completness and compactness theorems
      • Osterpredigt Teil 1
      • Some more ...
      • Illusions
    • ►  März (6)
    • ►  Februar (3)
  • ►  2008 (3)
    • ►  August (2)
    • ►  Juli (1)

Über mich

Mein Profil vollständig anzeigen

Pages

  • Startseite
  • Impressum
Unless otherwise specified, content created by me is published under CC-by-nd.. Design "Einfach". Powered by Blogger.