Logisisme er det syn at aritmetikken (eventuelt også geometrien) kan reduseres til logikk. De klassiske forsvarerne av dette synet, som begge endte med å forkaste det, er Gottlob Frege og Bertrand Russell.

Også de logiske positivistene mente at aritmetikken er en del av logikken. Kurt Gödels ufullstendighetsbevis (i On Formally Undecidable Propositions of Prinicipia Mathematica and Related Systems I, 1931) betraktes av mange som det endelige beviset for at det logisistiske programmet ikke kan realiseres.

Foreslå endringer i tekst

Foreslå bilder til artikkelen

Kommentarer

Har du spørsmål om artikkelen? Skriv her, så får du svar fra fagansvarlig eller redaktør.

Du må være logget inn for å kommentere.