Versio 22. helmikuuta 2007 kello 18.39 muokkaa Tomisti (keskustelu \| muokkaukset) seulojat 88 462 muokkausta Ak: Uusi sivu: '''Logisismi''' on matematiikanfilosofinen suuntaus, joka näki matematiikan logiikan laajennoksena ja pyrki redusoimaan osan ...		Versio 22. helmikuuta 2007 kello 21.39 muokkaa kumoa Thi (keskustelu \| muokkaukset) automaattiseulotut käyttäjät 95 054 muokkausta Ei muokkausyhteenvetoa Uudempi muutos →
Rivi 1: '''Logisismi''' on [[matematiikan filosofia~~\|matematiikanfilosofinen~~]]n suuntaus, joka näki [[matematiikka\|matematiikan]] [[logiikka\|logiikan]] laajennoksena ja pyrki ~~redusoimaan~~palauttamaan osan tai kaiken matematiikasta logiikkaan. Ohjelman isänä voidaan pitää [[Gottlob Frege]]ä, ja sitä toteuttivat ennen kaikkea [[Bertrand Russell]] 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]]''. [[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]]. Logisismi oli keskeisessä ~~roolissa~~osassa [[analyyttinen filosofia\|analyyttisen filosofian]] kehityksessä 1900-luvullla. == Aiheesta muualla ==

Ero sivun ”Logisismi” versioiden välillä