×
Študij fizike Študij matematike Raziskave O fakulteti EN
Dogodki Obvestila Imenik Urniki Knjižnica Založba Za sodelavce Iskanje

Miha Jejčič: Goodsteinova zaporedja in hidre

Datum objave: 24. 5. 2010
Seminar za temelje matematike in teoretično računalništvo
Torek, 25.5.2010, od 12h do 14h, Plemljev seminar, Jadranska 19

Goodsteinova zaporedja so končna zaporedja celih števil, ki jih lahko definiramo v Peanovi aritmetiki, vendar v Peanovi aritmetiki ne moremo dokazati, da so končna. Hidra je končna kombinatorna igra na končnih drevesih, vendar za osnovne lastnosti te igre potrebujemo transfinitno indukcijo

Vabljeni!

 

čet
9
Apr
Janoš Vidali: Automorphism group certificates for cubic vertex-transitive graphs
Seminar za temelje matematike in teoretično računalništvo
10.15 - Jadranska 21, učilnica 3.07
čet
2
Apr
David Ellerman: A Fundamental Duality in the Exact Sciences – an Introduction to Mathematical Metaphysics
Seminar za temelje matematike in teoretično računalništvo
10.15 - Jadranska 21, učilnica 3.07
čet
12
Mar
Bastiaan Cnossen: Synthetic category theory in CaTT
Seminar za temelje matematike in teoretično računalništvo
10.15 - Jadranska 21, učilnica 3.07
čet
5
Mar
Ivan Kobe: CaTT – The internal language of ω-categories
Seminar za temelje matematike in teoretično računalništvo
10.15 - Jadranska 21, učilnica 3.07
čet
26
Feb
Mabel Najdovski: Extracting computational content from classical proofs
Seminar za temelje matematike in teoretično računalništvo
10.15 - Jadranska 21, učilnica 3.07

Vsa obvestila