9.5.2012
Formaalia logiikkaa pidetään Aristoteleen kehittämänä, ja hän säilyikin merkittävimpänä loogikkona aina 1800-luvulle asti. Samoihin aikoihin alettiin oikeastaan ensi kerran sitten Eukleideen todella haastaa matemaattisen totuuden perusteita, kaikkien päättelyiden pohjaa. Syntyi liike, jonka agendana oli matematiikan perusteiden etsintä. Joukko...
Lue koko vinkki »