Jump to content

Ben Banana

Senior Members
  • Posts

    305
  • Joined

  • Last visited

Recent Profile Visitors

The recent visitors block is disabled and is not being shown to other users.

Ben Banana's Achievements

Atom

Atom (5/13)

10

Reputation

Single Status Update

See all updates by Ben Banana

  1. Goedel's Incompleteness Theorem. meh...

    1. Show previous comments  7 more
    2. ydoaPs

      ydoaPs

      Basically, Godel proved that formal languages of sufficient complexity cannot be both consistent and complete. A consistent system is one in which it is not possible to prove a false statement. A complete system is one in which it is possible to prove all true statements.

       

      The relevant languages are mathematics in general and some advanced logics.

    3. Ben Banana
    4. the asinine cretin
    5. Show next comments  3 more
×
×
  • Create New...

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.