Welcome Guest [Log In] [Register]
Welcome to The New Coffee Room. We hope you enjoy your visit.


You're currently viewing our forum as a guest. This means you are limited to certain areas of the board and there are some features you can't use. If you join our community, you'll be able to access member-only sections, and use many member-only features such as customizing your profile, sending personal messages, and voting in polls. Registration is simple, fast, and completely free.


Join our community!


If you're already a member please log in to your account to access all of our features:

Username:   Password:
Add Reply
Will Computers Redefine the Roots of Math?
Topic Started: Jul 15 2016, 03:32 AM (148 Views)
Klaus
Member Avatar
HOLY CARP!!!
https://www.quantamagazine.org/20150519-will-computers-redefine-the-roots-of-math/

The headline is misleading, since the article is mainly about a fundamentally new way of doing maths, called homotopy type theory (HOTT).
HOTT is, from my perspective, one of the most exciting developments in maths of the 21st century.
I've always hated set theory. With this program we may be able to put it to rest forever.

This article does a very good job of giving an idea what it is about for mathematical laymen.
Trifonov Fleisher Klaus Sokolov Zimmerman
Online Profile Quote Post Goto Top
 
jon-nyc
Member Avatar
Cheers
You would think that, you're a professional computer nerd.
In my defense, I was left unsupervised.
Online Profile Quote Post Goto Top
 
Copper
Member Avatar
Shortstop
Quote:
 
The appeal is simple: Rather than relying on fallible human beings to check proofs, you can turn the job over to computers, which can tell whether a proof is correct with complete certainty.

Sure, what could go wrong?

Posted Image
The Confederate soldier was peculiar in that he was ever ready to fight, but never ready to submit to the routine duty and discipline of the camp or the march. The soldiers were determined to be soldiers after their own notions, and do their duty, for the love of it, as they thought best. Carlton McCarthy
Online Profile Quote Post Goto Top
 
Klaus
Member Avatar
HOLY CARP!!!
Actually, in the case of theorem proving, not much can go wrong.

And the "complete certainty" is not really true, since there could be bugs in the proof checker. But the Trusted Computing Base is much smaller.
Trifonov Fleisher Klaus Sokolov Zimmerman
Online Profile Quote Post Goto Top
 
« Previous Topic · The New Coffee Room · Next Topic »
Add Reply