Here’s an exercise in separating fundamentals from conventions: if we held a technical summit with all of the galaxy’s advanced alien civilizations, what would we find we had in common, and what would we find inscrutable?
-
Prikaži ovu nit
-
Spoken language would be inscrutable. Different physiologies would lead to an inability to speak or even hear each others’ phonemes. Written language would be inscruible, though we might find analogs of nouns, adjectives, and verbs.
0 proslijeđenih tweetova 33 korisnika označavaju da im se sviđaPrikaži ovu nit -
But mathematics would be shared. After translating syntax and symbols, we’d find we had exactly the same constructive axioms, and agree that other axioms are controversial. We’d have the same theorems and the same proofs. They’d rever a Pythagoras and a Leibniz.
14 replies 1 proslijeđeni tweet 41 korisnik označava da mu se sviđaPrikaži ovu nit
"mathematics", or something else? - https://arxiv.org/abs/0903.0340 - https://existentialtype.wordpress.com/2011/03/27/the-holy-trinity/ … -https://homotopytypetheory.org/
Čini se da učitavanje traje već neko vrijeme.
Twitter je možda preopterećen ili ima kratkotrajnih poteškoća u radu. Pokušajte ponovno ili potražite dodatne informacije u odjeljku Status Twittera.