| dbo:abstract
|
- A Fogalomírás, más néven Begriffsschrift Gottlob Frege jénai matematikus 1879-ben írt műve, illetve a műben kidolgozott formális elmélet (formális nyelv) a matematikai logika számára. A mű eredeti, teljes német címe Begriffsschrift, eine der aritmetischen nachgebildete Formelsprache des reinen Denkens, azaz Fogalomírás, a tiszta gondolkodás aritmetikai mintára alapozott formulanyelve. Frege ebben dolgozta ki a matematikai logika első jelentősebb elméletét, az ún. (valójában Frege elmélete még bővebb is, mint az elsőrendű logika); ezzel az ókor (Arisztotelész, sztoikusok) óta, több ezer éve először történt alapvető, paradigmális változás a formális logika tudományában. A Frege által alkotott szimbolikus logikai formális nyelv, melyet szintén fogalomírásnak nevezünk, volt az első igazán jelentős példája az ilyesfajta nyelveknek. (hu)
- A Fogalomírás, más néven Begriffsschrift Gottlob Frege jénai matematikus 1879-ben írt műve, illetve a műben kidolgozott formális elmélet (formális nyelv) a matematikai logika számára. A mű eredeti, teljes német címe Begriffsschrift, eine der aritmetischen nachgebildete Formelsprache des reinen Denkens, azaz Fogalomírás, a tiszta gondolkodás aritmetikai mintára alapozott formulanyelve. Frege ebben dolgozta ki a matematikai logika első jelentősebb elméletét, az ún. (valójában Frege elmélete még bővebb is, mint az elsőrendű logika); ezzel az ókor (Arisztotelész, sztoikusok) óta, több ezer éve először történt alapvető, paradigmális változás a formális logika tudományában. A Frege által alkotott szimbolikus logikai formális nyelv, melyet szintén fogalomírásnak nevezünk, volt az első igazán jelentős példája az ilyesfajta nyelveknek. (hu)
|
