Remind me later
Review
A privacy reminder from YouTube, a Google company
Skip navigation
FR
Upload
Sign in
Search
Loading...
Close
Yeah, keep it
Undo
Close
This video is unavailable.
Watch Queue
Queue
Watch Queue
Queue
Remove all
Disconnect
Loading...
Watch Queue
Queue
__count__/__total__
Five Stages of Accepting Constructive Mathematics
tactics40
Subscribe
Subscribed
Unsubscribe
10
10
Loading...
Loading...
Working...
Add to
Want to watch this again later?
Sign in to add this video to a playlist.
Sign in
Share
More
Report
Need to report the video?
Sign in to report inappropriate content.
Sign in
Statistics
3,045 views
38
Like this video?
Sign in to make your opinion count.
Sign in
39
2
Don't like this video?
Sign in to make your opinion count.
Sign in
3
Loading...
Loading...
Loading...
Rating is available when the video has been rented.
This feature is not available right now. Please try again later.
Published on Mar 12, 2014
Andrej Bauer -
http://video.ias.edu/members/1213/031...
Category
Comedy
License
Standard YouTube License
Show more
Show less
Loading...
Autoplay
When autoplay is enabled, a suggested video will automatically play next.
Up next
A Proof Assistant Prototype Based on Algebraic Effects and Handlers - Andrej Bauer
- Duration: 1:34:56.
videosfromIAS
25 views
1:34:56
50+
videos
Play all
Play now
Mix - Five Stages of Accepting Constructive Mathematics
YouTube
Intuitionist versus Classical Natural Deduction
- Duration: 17:00.
iistanph
2,743 views
17:00
PWLTO#10 – Ben Darwin on Programming with Algebraic Effects and Handlers
- Duration: 1:06:50.
PapersWeLove
379 views
1:06:50
Type Theory Foundations, Lecture 1
- Duration: 1:24:13.
p473r
13,001 views
1:24:13
Andrej Bauer, How to implement type theory with a reflection rule
- Duration: 1:05:52.
OxfordQuantumVideo
700 views
1:05:52
Intuitionism and Constructive Mathematics 1/19
- Duration: 1:55:02.
Ulrik Buchholtz
492 views
1:55:02
TEDxLjubljana - Andrej Bauer - 05/25/09
- Duration: 19:59.
TEDx Talks
7,594 views
19:59
How To Pick Up Super Hot Girls -- 3 Different Styles Revealed
- Duration: 32:41.
Todd Valentine
114,564 views
32:41
The surprising beauty of mathematics | Jonathan Matte | TEDxGreensFarmsAcademy
- Duration: 9:14.
TEDx Talks
4,062,464 views
9:14
Voevodsky 2014 03 26
- Duration: 50:13.
Hong Co Tran
1,013 views
50:13
History of Mathematics in 50 Minutes
- Duration: 54:22.
GRCCtv
215,679 views
54:22
SHM - 16/01/15 - Constructivismes en mathématiques - Henri Lombardi
- Duration: 1:05:40.
Institut Henri Poincaré
585 views
1:05:40
Adam Chlipala Lecture 1, OPLSS 2015
- Duration: 1:25:15.
David Christiansen
556 views
1:25:15
Peter Dinklage Interview - Late Night With David Letterman - 26th March, 2014
- Duration: 9:49.
LakesJosh
3,473,935 views
9:49
The magic of Fibonacci numbers | Arthur Benjamin
- Duration: 6:25.
TED
977,792 views
6:25
Mathematics as Hidden Reality - Edward Frenkel, Ph.D.
- Duration: 38:23.
scienceandnonduality
36,826 views
38:23
The Continuum Hypothesis and the search for Mathematical Infinity, W. Hugh Woodin
- Duration: 55:20.
Copernicus Center for Interdisciplinary Studies
9,443 views
55:20
Benford's Very Strange Law - Professor John D. Barrow
- Duration: 1:01:22.
GreshamCollege
42,272 views
1:01:22
Abacus Lesson 1 // Introduction, Proper Technique, & History of the Abacus // Tutorial
- Duration: 8:31.
The HEV Project
508,819 views
8:31
Loading more suggestions...
Show more
Loading...
Working...
Loading...
Working...
Sign in
to add this to Watch Later
Add to
Loading playlists...