1. Symbolic AI and the Logic Theorist | AI Through Time [7]

    Symbolic AI and the Logic Theorist | AI Through Time [7]

    5
    1
  2. [Quick guide] An ancient Chinese approach to proving the Pythagorean Theorem

    [Quick guide] An ancient Chinese approach to proving the Pythagorean Theorem

    18
  3. 3,700 Year Old Babylonian Tablet Proves Pythagoras Did Not Invent Pythagorean Theorem

    3,700 Year Old Babylonian Tablet Proves Pythagoras Did Not Invent Pythagorean Theorem

    325
  4. Gödel's Theorem: The Incompleteness of Mathematics.

    Gödel's Theorem: The Incompleteness of Mathematics.

    28