Automated Theorem Proving and Axiomatic Mathematics

[@mrtienphysics666]

I love the speed/bitrate that this guy talk.

[@kellymoses8566]

I listen to almost all videos at 1.5x but I had to slow him down to 1.2

[@fg786]

Better at 0.75 speed.

[@kingarth0r]

Watched at at 2x speed

[@salmiakki5638]

How does these features compare to other prover softwares like coq, lean etc ?

[@kellymoses8566]

Lean is free while Mathmatica is very expensive.

[@salmiakki5638]

@@kellymoses8566 yeah, but not a _feature_ comparison

[@guterflex7967]

This is fascinating.

[@kingarth0r]

Goated talk

[@sorinsuciu8675]

Amazing talk Jonathan! Is the notebook available anywhere?

[@kellymoses8566]

I really wish Mathmatica was free to use and ran on donations like Wikipedia.

[@yetanotherchannelyac1434]

This is fantastic!

[@gdelfino]

What is an EquationalizedAxiom?

[@andysk5438]

Remember Prolog?

[@elaineharvey5990]

04242020

[@milesman1001]

Is no one worried about the implications of such a program?

[@AlvaroALorite]

You mean a computer being able to proof it's own new mathematics? Nah... It's fine.

[@serenamente5192]

Not at all. Rather extremely excited about them

[@intermaths1128]

what do you mean?

[@gustafa2170]

Mathematicians will have to learn to code.

[@hexa3389]

@@gustafa2170 most already know.

[@kennethstauffer9220]

he talks too fast.

[@kellymoses8566]

You can play videos slower (or faster!)

[@kennethstauffer9220]

@@kellymoses8566 that's true. so was my comment. glad you agree.

[@jamierlawson]

He's English