"Rendben, de mi az, hogy "ugyanúgy"? Létezik, vagy nem? És ha igen, akkor a téridőnkben, vagy azon kívül, egy platóni világban? Anyagi értelemben létezik, vagy a tiszta idea létezik?

 

Vagy egyik sem, és egy más álláspontot foglalsz el?"

 

Én álláspontom hogy potenciálisan létezik, olyan értelemben, hogy ha egy természetes szám ellenpélda egy állításra, akkor ha sikerül kellően erős eszközöket csinálni, amikkel már ekkora számokkal is számolhatunk, akkor ez ki fog derülni.

 

"És olyan nagy számnál, amit le sem írhatsz, beszélhetünk a teljes indukció igazságáról?"

"(a tudatod számára) hozzáférhetetlen"

 

Persze, sőt amit a jelenlegi legjobb számítógépeink sem tudnak kezelni azon számokon is számomra van értelme a teljes indukció igazságának.

 

"akkor mi van egy olyan vitatott entitásnál, mint a szuperkompakt számosság?"

 

Nem tudom az micsoda, így nem tudom mit lehet vitatni rajta.

 

"És ha olyan nagy az a véges gráf, amitől a Hamilton-kör keresése polinom időben van, hogy több csúcs van benne, mint atom a Világegyetemben?"

 

Ez egy gyakorlati szempontból egyelőre nem hasznos, de óriási elméleti jelentőségű eredmény lenne.