Ero sivun ”Logisismi” versioiden välillä

54 merkkiä lisätty ,  15 vuotta sitten
[arvioimaton versio][arvioimaton versio]
'''Logisismi''' on [[matematiikan filosofia]]n suuntaus, joka näki [[matematiikka|matematiikan]] [[logiikka|logiikan]] laajennoksena ja pyrki palauttamaan osan tai kaiken matematiikasta logiikkaan. Ohjelman isänä voidaan pitää [[Gottlob Frege]]ä, ja sitä toteuttivat ennen kaikkea [[Bertrand Russell]] (''[[Principles of Mathematics]]'', 1903) ja [[Alfred North Whitehead]]. Frege luopui ohjelmasta Russellin havaittua niin sanotun [[Russellin paradoksi]]n, joka todisti niin sanotun [[naiivi joukko-oppi|naiivin joukko-opin]] ristiriitaisuuden. Russell ja Whitehead jatkoivat logisismin kehittämistä teoksessaan ''[[Principia Mathematica]]'' (1910-1913).
 
[[Kurt Gödel]]in [[Gödelin epätäydellisyysteoreema|epätäydellisyysteoreeman]] on usein katsottu romuttaneen ohjelman lopullisesti. Uutta pyrkimystä logisismin jatkamiseen on kutsuttu '''uuslogisismiksi'''. Uuslogisismia on kannattanut ennen kaikkea [[Crispin Wright]].
79 986

muokkausta