Klassinen matematiikka ja logiikka

In Logiikka, matematiikka ja tietokone – Perusteet: historiaa, filosofiaa ja sovelluksia. Espoo: Finnish Artificial Intelligence Society (1996)
  Copy   BIBTEX

Abstract

Toisaalta ennennäkemätön äärettömien joukko-opillisten menetelmien hyödyntäminen sekä toisaalta epäilyt niiden hyväksyttävyydestä ja halu oikeuttaa niiden käyttö ovat ratkaisevasti muovanneet vuosisatamme matematiikkaa ja logiikkaa. Tämän kehityksen vaikutus nykyajan filosofiaan on myös ollut valtaisa; merkittävää osaa siitä ei voi edes ymmärtää tuntematta sen yhteyttä tähän matematiikan ja logiikan vallankumoukseen. Lähestymistapoja, jotka tavalla tai toisella hyväksyvät äärettömän matematiikan ja perinteisten logiikan sääntöjen (erityisesti kolmannen poissuljetun lain) soveltamisen myös sen piirissä, on tullut tavaksi kutsua klassiseksi matematiikaksi ja logiikaksi erotuksena nämä hylkäävistä radikaaleista intuitionistisista ja konstruktivistisista opeista.

Author's Profile

Panu Raatikainen
Tampere University

Analytics

Added to PP
2010-12-22

Downloads
368 (#43,953)

6 months
40 (#84,728)

Historical graph of downloads since first upload
This graph includes both downloads from PhilArchive and clicks on external links on PhilPapers.
How can I increase my downloads?