Den calculus ratiocinator er en algoritme eller et teoretisk beregningsmaskin oppfunnet av Gottfried Leibniz og beskrevet i hans arbeid De arte combinatoria på 1,666 . Vi kan se det som en metode, en algoritme eller en maskin, som vil gjøre det mulig å løsrive det sanne fra det falske i enhver diskusjon hvis vilkår vil komme til uttrykk i det universelle filosofiske språket, den universelle karakteristikken. Sistnevnte, også forestilt av Leibniz uten at han hadde formalisert det helt, skulle være i stand til å uttrykke noe filosofisk utsagn. Leibniz forestilte seg derfor en automatisk prosess som kobler det formaliserte språket og algoritmen, som kan avgjøre sannheten i enhver påstand.
Louis Couturat oppsummerer bruken av calculus ratiocinator som følger :
“Så han kaller sin karakteristiske dommer for kontroverser , og han anser det som en kunst av feilbarhet. Han tegner et attraktivt bilde av hvordan fremtidens filosofiske diskusjoner blir. For å løse et spørsmål eller avslutte en kontrovers, vil motstanderne bare ta opp pennen ved å legge til en venn som voldgiftsdommer om nødvendig, og å si: "La oss beregne! ". "
- Louis Couturat , Logikken til Leibniz
Vi vet ikke helt om Leibniz tenkte på en maskin som kunne bygges og som ville gjøre matematikken selv. Det er tillatt å tenke det siden Leibniz også er oppfinneren av en av de første beregningsmaskinene.
Den kalkulus ratiocinator som Logicians fortsatt drømte i begynnelsen av XX th århundre, er faktisk en umulig objekt være seg i matematikk , i henhold til ufullstendighet teoremer Gödel og teoremer i computability av Alonzo Church og Alan Turing . Den Turing Maskinen kan være en formal i det spesielle felt av beregnelige funksjoner, og deler med det calculus ratiocinator sin teoretiske karakter, som kan bli implementert i algoritmer, datamaskiner eller programmer.