Automated Theorem Proving and Axiomatic Mathematics
Переглядів 8,260
4 роки томуJonathan Gorard
@fg786 3 роки тому
Better at 0.75 speed.
@kingarth0r 9 місяців тому
Watched at at 2x speed
@salmiakki5638 3 роки тому
How does these features compare to other prover softwares like coq, lean etc ?
@kingarth0r 9 місяців тому
Goated talk
@guterflex7967 3 роки тому
This is fascinating.
@yetanotherchannelyac1434 3 роки тому
This is fantastic!
@sorinsuciu8675 3 роки тому
Amazing talk Jonathan! Is the notebook available anywhere?
@GustavoDelfinoS 3 роки тому
What is an EquationalizedAxiom?
@andysk5438 Місяць тому
Remember Prolog?
@elaineharvey5990 4 роки тому
04242020
@milesman1001 3 роки тому
Is no one worried about the implications of such a program?
@AlvaroALorite 3 роки тому
You mean a computer being able to proof it's own new mathematics? Nah... It's fine.
@serenamente5192 3 роки тому
Not at all. Rather extremely excited about them
@intermaths1128 3 роки тому
what do you mean?
@gustafa2170 2 роки тому
Mathematicians will have to learn to code.
@hexa3389 Рік тому
@@gustafa2170 most already know.
Супер Стас
Переглядів 3,9 млн
13News Now
Переглядів 18 млн
The Last Theory
Переглядів 13 тис.
Ontology Talk with Adam Pease
Переглядів 6 тис.
Раскосов - продвижение
Переглядів 536 тис.