- Lennarts Hemsida - Formella system
Draget från oändligheten av Lennart Nilsson (Del 2) ©2001 2002 2003 "Mänskligheten synes mig vara en ...
... status som axiom har alla strängar av formen x p – q x – där ...
... såsom varande ett axiom ) – p – q – – utläses alltså; ett plus ett är ...
... , varken som axiom eller härledd via axiom och aldrig så många ...
... eller härledd via axiom och aldrig så många upprepningar av ...
http://hem.bredband.net/b124876/formalsystems.htm • onsdag, 14 maj 2003, 2:00pm GMT • 44.2k
- Lennart Nilssons Hemsida - Ordlista
Draget från oändligheten av Lennart Nilsson (Del 2) ©2001 2002 2003 "Mänskligheten synes mig vara en ...
... som observatörer. axiom Av alla teorem som tillhör ett formellt ...
... system är axiom en speciell klass som inte härleds genom ...
http://hem.bredband.net/b124876/Ordlista2.htm • onsdag, 14 maj 2003, 2:04pm GMT • 149.5k
- Lennart Nilssons Hemsida - Ordlista
Draget från oändligheten av Lennart Nilsson (Del 1) ©2001 2002 2003 "En beprövad strategi för att få ...
... som observatörer. axiom Av alla teorem som tillhör ett formellt ...
... system är axiom en speciell klass som inte härleds genom ...
http://hem.bredband.net/b124876/Ordlista.htm • onsdag, 14 maj 2003, 2:06pm GMT • 149.6k
- Lennart Nilssons Hemsida - COMPUTALISM
Draget från oändligheten av Lennart Nilsson (Del 2) ©2001 2002 2003 "Mänskligheten synes mig vara en ...
... kräver allt fler axiom och initial information . Den matematiska ...
http://hem.bredband.net/b124876/computalism.htm • onsdag, 14 maj 2003, 1:44pm GMT • 75.2k
- Lennart Nilssons hemsida - KULTURVETENSKAP
Draget från oändligheten av Lennart Nilsson (Del 1) ©2001 2002 2003 "En beprövad strategi för att få ...
... till uppställda axiom och regler är matematikens styrka och ...
http://hem.bredband.net/b124876/KULTURVETENSKAP.htm • onsdag, 14 maj 2003, 1:20pm GMT • 204.9k
- INDEX
INDEX A absolut nollpunkt · 164 abstrakta resonemang · 26 abstrakta världar · 16 acceleration · 58, ...
... avbildning · 169 axiom · 54, 127, 158, 159, 160, 161, 165 B ...
http://hem.bredband.net/b124876/Bokindex.htm • tisdag, 15 april 2003, 11:17am GMT • 60.3k
- Argument är inte logisk deduktion
Kommentarer? Skicka e-post till indexkompaniet@galaxycorp.com © indeXzine Utges av Indexkompaniet Nilsson ...
... med några färdiga axiom eller deduktiva regler och behöver inte ...
http://w1.859.telia.com/~u85903873/vetande7.htm • lördag, 17 maj 2003, 9:09am GMT • 10.2k
|  |
|
