Seminar za matematičku logiku i osnove matematike

U ponedjeljak 3. svibnja 2021. u 17:15 sati, u sklopu Seminara za matematičku logiku i osnove matematike, Zvonimir Šikić će održati predavanje pod naslovom: 

"O ekvivalenciji, dokazima obrata i neiterabilnosti indukcije".

Sažetak:

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.

Podaci za online praćenje preko Zoom platforme:

Topic: SLOM

Link: https://zoom.us/j/92305464243?pwd=TjUwa3VyTG5KT0pIbzluUURBemxJdz09
Meeting ID: 923 0546 4243
Passcode: 020169

Pozivamo sve članove seminara i ostale zainteresirane da prate ovo zanimljivo predavanje.