PrimeGrid
Please visit donation page to help the project cover running costs for this month

Toggle Menu

Join PrimeGrid

Returning Participants

Community

Leader Boards

Results

Other

drummers-lowrise

Advanced search

Message boards : General discussion : Will Computers Redefine the Roots of Math?

Author Message
Dr Who Fan
Avatar
Send message
Joined: 26 Sep 06
Posts: 113
ID: 3556
Credit: 15,225,756
RAC: 0
321 LLR Silver: Earned 100,000 credits (101,760)Cullen LLR Silver: Earned 100,000 credits (161,492)ESP LLR Silver: Earned 100,000 credits (102,526)Generalized Cullen/Woodall LLR Silver: Earned 100,000 credits (115,730)PPS LLR Gold: Earned 500,000 credits (896,177)PSP LLR Silver: Earned 100,000 credits (132,546)SoB LLR Silver: Earned 100,000 credits (433,700)SR5 LLR Silver: Earned 100,000 credits (114,016)SGS LLR Silver: Earned 100,000 credits (162,863)TRP LLR Silver: Earned 100,000 credits (100,020)Woodall LLR Silver: Earned 100,000 credits (103,446)321 Sieve Ruby: Earned 2,000,000 credits (2,006,012)Generalized Cullen/Woodall Sieve (suspended) Ruby: Earned 2,000,000 credits (2,740,001)PPS Sieve Turquoise: Earned 5,000,000 credits (5,066,749)Sierpinski (ESP/PSP/SoB) Sieve (suspended) Silver: Earned 100,000 credits (119,708)TRP Sieve (suspended) Gold: Earned 500,000 credits (527,925)AP 26/27 Gold: Earned 500,000 credits (824,854)GFN Amethyst: Earned 1,000,000 credits (1,453,839)
Message 85847 - Posted: 31 May 2015 | 16:09:13 UTC

From WIRED.com: Will Computers Redefine the Roots of Math?

The idea of doing mathematics in a program like Coq has a long history. 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. Despite this advantage, computer proof assistants haven’t been widely adopted in mainstream mathematics. This is partly because translating everyday math into terms a computer can understand is cumbersome and, in the eyes of many mathematicians, not worth the effort.

____________

Message boards : General discussion : Will Computers Redefine the Roots of Math?

[Return to PrimeGrid main page]
DNS Powered by DNSEXIT.COM
Copyright © 2005 - 2022 Rytis Slatkevičius (contact) and PrimeGrid community. Server load 0.01, 0.01, 0.00
Generated 6 Jul 2022 | 9:52:37 UTC