Učitavanje video playera...
00:59:47
Adlešić, Formalni pristup stratifikaciji u NF/NFU
Centralni pojam teorije NF(U) je pojam stratifikacije i stratificirane formule. Dokazat ćemo neka na prvi pogled jednostavna svojstva tipizacija (pridruživanje tipova varijablama koje zadovoljava određene uvjete), među kojima je najvažnije ono o postojanju najmanje tipizacije za svaku stratificiranu formulu. Nadalje, nakon uvođenja aksioma teorije NFU razvijamo sredstva za daljnji strogi razvoj. Proširujemo osnovni jezik tako što uvodimo apstrakcijske i ugniježđene apstrak- cijske terme te opisujemo kako im možemo pridružiti tip. Na taj način smo u mogućnosti provjeravati je li neka formula stratificirana u proširenom jeziku, bez da ju raspisujemo u osnovni jezik. Korisnost takvog pristupa demonstriramo na teoremu o postojanju skupa svih ordinalnih i kardinalnih brojeva.
Objavljeno: 17.12.2021
Unutar kategorije: Obrazovanje
VoD paketi: SLOM