@Melkore, zahvaljujem na promptnom i iscrpnom odgovoru. Naravno, ako su svi objekti u formuli skupovi, ili su "kodirani" kao skupovi, formalna nejasnoća nestaje.
Navedeno kodiranje skupa prirodnih brojeva (i općenito dobro uređenih skupova) pomoću "atoma" praznog skupa i njegovih sljedbenika koje navodiš mi nije nepoznato.
Jedino... kad već imamo toliko muke s zapisivanjem prirodnih brojeva (koliko nam samo vitičastih zagrada treba za zapis npr. broja 2008), pitam se kako bi kao skupove zapisali kompliciranije objekte, npr. (stvarnu i trodimenzionalnu) vješalicu, ili nekog (stvarnog i trodimenzionalnog) Matu? Valjda kao skup molekula, ili (u Matinom slučaju) stanica od kojih se sastoje. S time da su molekule, atomi i stanice, prema našim saznanjima također skupovi nekakvih manjih sranja, o kojima u stvarnosti i ne znamo puno. Hm, nije to tako loše zamišljeno, ustvari. Nije slučajnost da je Zermelo bio Planckov đak, a Goedel Einsteinov prijatelj. Još jednom, hvala.
@Melkore, zahvaljujem na promptnom i iscrpnom odgovoru. Naravno, ako su svi objekti u formuli skupovi, ili su "kodirani" kao skupovi, formalna nejasnoća nestaje.
Navedeno kodiranje skupa prirodnih brojeva (i općenito dobro uređenih skupova) pomoću "atoma" praznog skupa i njegovih sljedbenika koje navodiš mi nije nepoznato.
Jedino... kad već imamo toliko muke s zapisivanjem prirodnih brojeva (koliko nam samo vitičastih zagrada treba za zapis npr. broja 2008), pitam se kako bi kao skupove zapisali kompliciranije objekte, npr. (stvarnu i trodimenzionalnu) vješalicu, ili nekog (stvarnog i trodimenzionalnog) Matu? Valjda kao skup molekula, ili (u Matinom slučaju) stanica od kojih se sastoje. S time da su molekule, atomi i stanice, prema našim saznanjima također skupovi nekakvih manjih sranja, o kojima u stvarnosti i ne znamo puno. Hm, nije to tako loše zamišljeno, ustvari. Nije slučajnost da je Zermelo bio Planckov đak, a Goedel Einsteinov prijatelj. Još jednom, hvala.
|