Feedback | SoME

From Hilbert's Program to Proof Assistants | History of Proof Theory in 1 Minute

Audience:

Tags: computer-scienceboolean-logiccurry-howard-correspondencehilberts-programmathematical-logicgodelproof-theoryproof-assistantsincompleteness-theoremleanfregedavid-hilbert

A beginner’s introduction to the exciting field of proof theory, outlining important milestones such as Hilbert’s Program, the Curry-Howard correspondence, and the world of proof assistants, all in under 1 minute.

Analytics

2.11 Overall score*

124 Rank

7 Votes

7 Comments

Comments

4.2

I guess it works okay as a reminder of the history for people who are broadly familiar with the subject, but it might be tough to follow for others

2.1

Editing/visual style was good, but it’s only one minute long! As such, there’s no time for real substance or explanations

1.8

really feels like a slideshow from the early 2000, doesn’t really explore the concepts and it’s not entertaining to watch

6.1

I like this. short and gives pointers to explore more!

You didn’t explain anything.

3.2

I dig the music :)

It was hard to read the text in the box, and also look at the pictures – in particular when the “pictures” were also text / maths. Voiceover could have helped, but if you want to be visual only for the information, I think it needs to go slower.

The semi-colon box in the bottom right obscured some of the things I wanted to read.

1.1

I’m not sure this is how people learn. Having big ideas compressed into single sentences displayed on the screen for a few seconds is difficult to follow and doesn’t actually convey much information. It also doesn’t help that there is a giant channel watermark blocking the text that is the most essential part of the video. The overlapping text at 00:34 bothers me also. It also would have benefitted from an overall timeline to tie together the different important ideas.