0.25
0.5
0.75
1.25
1.5
1.75
2
Proof Interpretations and Their Application to Current Mathematics
Published on May 20, 20113197 Views
Related categories
Chapter list
Proof Interpretations and Their Application to Current Mathematics00:00
Proof Mining: Logical analysis of proofs P - 100:02
Proof Mining: Logical analysis of proofs P - 200:14
Proof Mining: Logical analysis of proofs P - 300:31
Proof Mining: Logical analysis of proofs P - 400:38
Proof Mining: Logical analysis of proofs P - 501:01
Proof Mining: Logical analysis of proofs P - 601:18
Proof Mining: Logical analysis of proofs P - 701:28
Proof Mining: Logical analysis of proofs P - 801:48
Hilbert’s program / "unwinding of proofs" - 102:43
Hilbert’s program / "unwinding of proofs" - 203:33
Proof interpretations as tool for generalizing proofs - 104:30
Proof interpretations as tool for generalizing proofs - 205:27
Proof interpretations as tool for generalizing proofs - 305:27
Example: the monotone convergence principle - 105:43
Example: the monotone convergence principle - 205:53
Example: the monotone convergence principle - 306:11
Proposition (G. Kreisel 1951) - 107:35
Proposition (G. Kreisel 1951) - 207:37
In the simple case09:34
More complicated formulas10:02
Proper understanding of functional interpretation10:50
An Example from Ergodic Theory - 111:37
An Example from Ergodic Theory - 212:10
An Example from Ergodic Theory - 312:21
An Example from Ergodic Theory - 412:46
Theorem (Leu¸stean/K., Ergodic Theor. Dynam. Syst. 2009) - 113:47
Theorem (Leu¸stean/K., Ergodic Theor. Dynam. Syst. 2009) - 214:49
Theorem (Leu¸stean/K., Ergodic Theor. Dynam. Syst. 2009) - 315:20
General logical metatheorems for abstract (nonseparable) spaces - 115:22
General logical metatheorems for abstract (nonseparable) spaces - 215:24
General logical metatheorems for abstract (nonseparable) spaces - 315:30
General logical metatheorems for abstract (nonseparable) spaces - 415:34
General logical metatheorems for abstract (nonseparable) spaces - 515:38
General logical metatheorems for abstract (nonseparable) spaces - 615:51
General logical metatheorems - 116:47
General logical metatheorems - 218:16
General logical metatheorems - 318:37
A formal system for analysis - 119:45
A formal system for analysis - 219:46
A formal system for analysis - 320:43
A novel form of majorization - 121:02
A novel form of majorization - 221:13
A novel form of majorization - 321:55
A novel form of majorization - 422:31
A novel form of majorization - 523:30
A novel form of majorization - 623:32
A novel form of majorization - 723:44
General logical metatheorems24:39
Theorem (Gerhardy/K., TAMS 2008) - 124:40
Theorem (Gerhardy/K., TAMS 2008) - 224:42
Theorem (Gerhardy/K., TAMS 2008) - 325:34
Tao - 125:35
Tao - 225:36
Since 2000 more than 40 papers with applications of proof theory in nonlinear analysis - 126:24
Since 2000 more than 40 papers with applications of proof theory in nonlinear analysis - 226:52
New Frontiers: Nonlinear Ergodic Theorems - 126:53
New Frontiers: Nonlinear Ergodic Theorems - 227:27
New Frontiers: Nonlinear Ergodic Theorems - 327:58
New Frontiers: Nonlinear Ergodic Theorems - 428:37
New Frontiers: Nonlinear Ergodic Theorems - 528:38
Planned extensions of current proof mining - 129:12
Planned extensions of current proof mining - 229:44
Planned extensions of current proof mining - 329:50
Planned extensions of current proof mining - 430:16
Planned extensions of current proof mining - 530:47
Planned extensions of current proof mining - 630:49
Planned extensions of current proof mining - 730:50
Treatment of proofs - 131:42
Treatment of proofs - 231:57
Treatment of proofs - 332:50
Treatment of proofs - 432:56
A big question33:24