andrej bauer: constructive mathematics - how to not believe in the law of excluded middle
Published 3 months ago • 1.6K plays • Length 50:59Download video MP4
Download video MP3
Similar videos
-
57:32
five stages of accepting constructive mathematics - andrej bauer
-
32:35
andrej bauer: every metric space is separable in function realizability
-
37:30
andrej bauer - formalizing invisible mathematics - ipam at ucla
-
7:44
a ɘƨɿɘvɘɿ puzzle
-
50:00
lisbeth fajstrup: the algebra of directed structures and a detour to tda
-
1:14:04
andrej bauer and peter lefanu lumsdaine: toward an initiality theorem for general type theories
-
21:35
the nature of mathematics: michael randy gabel at tedxgeorgemasonu
-
13:29
infinite fractions and the most irrational number
-
18:24
three knot-theoretic perspectives on algebra - zsuzsanna dancso
-
10:26
me and my neighbor make squares.
-
7:04
can you solve this without making the big calculation?
-
13:17
a nordic geometry problem
-
20:59
using maths to solve the rubik's cube | burkard polster
-
12:08
math is not what you think it is. | michael enciso | tedxoakschristianschool
-
40:26
reinhard kahle: how computations entered in mathematical foundations
-
52:58
andrej bauer & mario carneiro: type universes
-
1:07:50
math talk! dr. andrej bauer on proof assistants, constructive mathematics, philosophy, and more.
-
41:38
andré guerra: quasiconvexity and nonlinear elasticity
-
56:01
alexander litvak: on the rademacher projection in the non-symmetric case
-
8:46
a nicer way to write a solution?
-
33:29
lecture 5: math. analysis - interior and non-interior points
-
59:12
josef berger: constructive convex analysis