Antonio Montalban
This channel contains my classes on mathematical logic taught for upper division math students.- 2:36:39
- 3 жыл бұрын
Robuster Scott Rank mini-course --- Day 2/4
- 2:11:26
- 3 жыл бұрын
Robuster Scott Rank mini-course --- Day 3/4
- 2:10:22
- 3 жыл бұрын
Robuster Scott Rank mini-course --- Day 4/4
- 1:51:15
- 3 жыл бұрын
Problema 24 de Hilbert -- Simplicidad de demostraciones
- 13:18
- 3 жыл бұрын
47. Set Theory. A Proof of Zorn's Lemma
- 15:57
- 3 жыл бұрын
50. Set Theory. Regularity Axiom
- 6:57
- 3 жыл бұрын
51. Cardinals As Ordinals
- 15:25
- 3 жыл бұрын
46. Logic. Finishing the proof of completeness
- 30:09
- 3 жыл бұрын
42. Logic. The Set Of Closed Terms
- 8:13
- 3 жыл бұрын
52. Set Theory. Alephs
- 17:04
- 3 жыл бұрын
49. Set Theory. The V hierarchy
- 7:22
- 3 жыл бұрын
47. Logic. Summing up
- 11:41
- 3 жыл бұрын
44. Logic. Term Models for maximal consistent sets of formulas
- 11:39
- 3 жыл бұрын
43. Logic. The Term Model
- 15:19
- 3 жыл бұрын
45. Logic. Theories that contain term witnesses
- 8:23
- 3 жыл бұрын
46. Set Theory. Hartog's Theorem
- 11:04
- 3 жыл бұрын
45. Set Theory. The Burali-Forti paradox
- 14:25
- 3 жыл бұрын
43. Set Theory. Ordinals
- 14:17
- 3 жыл бұрын
44. Set Theory. Comparability of Ordinals
- 19:28
- 3 жыл бұрын
42. Set Theory. Epsilon Images
- 13:33
- 3 жыл бұрын
40. Logic. Maximal Consistent sets of sentences
- 7:13
- 3 жыл бұрын
41. Logic. Gödel's Completeness theorem
- 9:24
- 3 жыл бұрын
39. Logic. The Soundness theorem
- 16:48
- 3 жыл бұрын
36. Logic. The Generalization Metatheorem
- 12:10
- 3 жыл бұрын
36. Logic. Tautologies in First Order Logic
- 10:10
- 3 жыл бұрын
Пікірлер