Generic selectors
Exact matches only
Search in title
Search in content
Post Type Selectors
Generic selectors
Exact matches only
Search in title
Search in content
Post Type Selectors
Submit Video
 
AUTO NEXT
PREV VIDEO NEXT VIDEO MORE VIDEOS

Automated Mathematical Proofs – Computerphile

6 Views
0 Likes
English
By Bit2Me
0 Comments
Screenshots

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%