| 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: |
| Will Computers Redefine the Roots of Math? | |
|---|---|
| Tweet Topic Started: Jul 15 2016, 03:32 AM (148 Views) | |
| Klaus | Jul 15 2016, 03:32 AM Post #1 |
![]()
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 | |
![]() |
|
| jon-nyc | Jul 15 2016, 04:16 AM Post #2 |
|
Cheers
|
You would think that, you're a professional computer nerd. |
| In my defense, I was left unsupervised. | |
![]() |
|
| Copper | Jul 15 2016, 04:56 AM Post #3 |
|
Shortstop
|
Sure, what could go wrong? ![]() |
|
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 | |
![]() |
|
| Klaus | Jul 15 2016, 05:03 AM Post #4 |
![]()
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 | |
![]() |
|
| « Previous Topic · The New Coffee Room · Next Topic » |








11:24 AM Jul 11