I Wall-E är namnet på de största rymdfarkoster som är det nya hemmet för mänskligheten ganska tvivelaktigt. "Axiom"!
Det största problemet här är att "Axiom" och "Axiomatic Systems" är abstrakta matematiska (logiska / filosofiska) begrepp . I den första vyn verkar det här abstrakta matematiska namnet olämpligt för en rymdfarkost i en animationsfilm men jag tror att det finns en djup filosofi bakom ett sådant namn att välja.
Fråga: Vad är filosofin bakom att välja namn "Axiom" för huvud rymdfarkost i Wall-E? Finns det något citat från tillverkare om detta namn?
Detta sägs på Pixar Wikia :
The literal meaning of the word "Axiom" is something that is taken for granted, reflecting on the population of the Axiom's over-indulgent lifestyle.
Som matematiker skulle jag dock vilja erbjuda en alternativ bild av namnet (som inte kan ha något gemensamt med de officiella skälen till den här namngivningen).
Axiomer är grundläggande uttalanden av någon matematisk teori, som vi anser vara sanna (inom den särskilda teorin) för givet , dvs utan att bevisa dem (de kan inte bevisas, eftersom det inte finns någon annan uttalanden som ska baseras på eventuella bevis). Alla andra uttalanden bygger på dem och de är sanna bara så länge axiomerna är sanna.
På så sätt är axiomer ursprung för alla (matematiska) system / teori, och jag ser ovanstående namn som ett subtilt meddelande om att detta skepp (bland hundratusentals rymdfarkoster byggda för att hålla mänskligheten säker och lycklig medan jorden blev föryngrad ) kommer att vara ursprunget, eftersom det faktiskt råkar vara i slutet (ursprunget från vilken människor repopulerar jorden).
Redigera: Kaptenens namn är B. McCrea . Är det bara av misstag som "McCrea B." låter mycket som "Mc Spjälsäng " eller är det också ett förslag på teckens finale? Det kan verka lite fördjupat, men kanske inte det, med tanke på de andra namnen i filmen. Till exempel, VAQ-M (en dammsugrobot), PR-T ("vacker" frisör), LT (en "lätt" bot), BIRD-E (golfare med referensnamn för golf) namnförklaringarna är här .
Min analys är följande:
Axiom rymdfarkoster är ett konsekvent axiomatiskt system. Detta är ett formellt begrepp i matematisk logik som säger att ett visst axiomatiskt system inte medför motsägelsefulla uttalanden.
Axiom rymdfarkosten är ett "axiomatiskt system" eftersom en "robot" (inte en "mänsklig") hanterar den. Logiskt är begreppen "robot", en "algoritm" och ett "axiomatiskt system" mycket nära och teoretiskt "ekvivalenta" i vissa sammanhang av matematisk logik.
Axiom rymdfarkoster är också ett "konsekvent" axiomatiskt system eftersom det i viss mening är helt "stängt" och "oberoende" från miljön. Dess design gör det möjligt för invånarna att leva i det utan någon kollaps av intern inkonsekvens.
Den mest intressanta punkten här är att det verkar som animationsdesigners har en fullständig kunskap om modern matematisk logik! Särskilt om en mycket teknisk och känd ståndpunkt av Kurt Godel, kallad " Godels ofullständighetsteori " som helt enkelt säger "varje konsekvent axiomatiskt system som är tillräckligt rik för att producera aritmetik är ofullständig (dvs kan inte bevisa alla sanna uttalanden.) "(Samtliga begrepp har exakta matematiska betydelser). En filosofisk aspekt av denna teorem är att ingen "robot" är "levande" och "liv" inte är "axiomatiserbar"!
Notera att vem som stöder "livet" i filmen.
Människor: Vem är uppenbarligen levande.
Wrecked robotar: Vem arbetar utifrån chefsrobotens definierade axiom och så är de inte en del av algoritmen.
"Wall-E" och "Eve" (Adam och Eva): Vem kan känna "kärleken" som är en av de levande varelsernas egenskaper.
Om min analys är sant är Wall-E en av de djupaste filmerna om filosofi, logik och matematik! Det är ett mästerverk!
Jag har inget officiellt från casten eller besättningen. Men denna Wikia ger en trovärdig teori om namnet:
The literal meaning of the word "Axiom" is something that is taken for granted, reflecting on the population of the Axiom's over-indulgent lifestyle.
IMDb ger ett liknande tag:
The name of the ship that the humans are living on is "Axiom." In logic and math, an axiom is something unquestionable or taken for granted.
Läs andra frågor om taggar analysis wall-e Kärlek och kompatibilitet Skor Gear 12 Stjärntecken Grunderna