Učitavanje video playera...
01:12:48
Zvonimir Šikić: O ekvivalenciji, dokazima obrata i neiterabilnosti indukcije
1. Ekvivalencija kao specijalna bulovska jednakost i neka njena zanimljiva svojstva (uključujući i jednu aksiomatizaciju IF logike).
2. Logička struktura dokazivanja obrata mnogih geometrijskih teorema je uvijek ista (uz primjenu na Morleyjev teorem).
3. Indukciju možemo shvatiti kao dokazivanje tvrdnje (Ax) P(x) dokazivanjem slabije tvrdnje (Ax) P'(x). No, taj postupak nije iterabilan.
