Add new comment

Permalink

According to Godel and other story in the 20th about formal mathematics, it's is maybe impossible for a computer to proof a theorem, but here computer just need to check what had been proven. What a wonderful idea, hope it will become true.

Filtered HTML

  • Web page addresses and email addresses turn into links automatically.
  • Allowed HTML tags: <a href hreflang> <em> <strong> <cite> <code> <ul type> <ol start type> <li> <dl> <dt> <dd>
  • Lines and paragraphs break automatically.