Automated Mathematical Proofs – Computerphile

Could a computer program find Fermat’s Lost Theorem? Professor Altenkirch shows us how to get started with lean.

EXTRA BITS (A deeper dive into automated proofs) : https://youtu.be/PaKHRfSkhnA

https://www.facebook.com/computerphile
https://twitter.com/computer_phile

This video was filmed and edited by Sean Riley.

Computer Science at the University of Nottingham: https://bit.ly/nottscomputer

Computerphile is a sister project to Brady Haran’s Numberphile. More at http://www.bradyharan.com

(Visited 6 times, 1 visits today)

You might be interested in

LEAVE YOUR COMMENT

Your email address will not be published. Required fields are marked *

eos
EOS (EOS) 1,06 0,30%
aave
Aave (AAVE) 66,38 4,32%
the-graph
The Graph (GRT) 0,129654 5,16%
kusama
Kusama (KSM) 30,41 2,43%
waves
Waves (WAVES) 1,97 2,96%
dash
Dash (DASH) 54,60 3,68%
bitcoin
Bitcoin (BTC) 25.491,05 2,11%
ethereum
Ethereum (ETH) 1.620,83 2,24%
cardano
Cardano (ADA) 0,334532 0,60%
tether
Tether (USDT) 0,929380 0,38%
xrp
XRP (XRP) 0,414834 4,48%
solana
Solana (SOL) 19,00 5,38%
polkadot
Polkadot (DOT) 5,57 2,58%
usd-coin
USD Coin (USDC) 0,928458 0,42%
dogecoin
Dogecoin (DOGE) 0,069309 0,68%
uniswap
Uniswap (UNI) 5,41 2,39%
terra-luna
Terra Luna Classic (LUNC) 0,000113 1,61%
litecoin
Litecoin (LTC) 85,38 0,12%
chainlink
Chainlink (LINK) 6,58 3,11%
bitcoin-cash
Bitcoin Cash (BCH) 115,20 2,31%
algorand
Algorand (ALGO) 0,193105 1,86%
matic-network
Polygon (MATIC) 1,01 2,20%
stellar
Stellar (XLM) 0,083301 0,05%
cosmos
Cosmos Hub (ATOM) 10,29 2,40%
filecoin
Filecoin (FIL) 5,07 6,14%
tron
TRON (TRX) 0,059411 1,29%
ethereum-classic
Ethereum Classic (ETC) 18,85 0,04%
dai
Dai (DAI) 0,925689 0,33%
tezos
Tezos (XTZ) 1,03 2,43%
monero
Monero (XMR) 150,13 2,07%