Gyorsabb hozzáférés, mint a böngésző!
22 kapcsolatok: Alfred Tarski, Aritmetika, Axióma, Elméleti fizika, Eukleidész (matematikus), Filozófiai logika, Fogalomírás, Formális logika, Formális nyelv, Halmaz (matematika), Halmazelmélet, Kategóriaelmélet, Logika, Matematika, Matematikafilozófia, Matematikai logika, Metamatematika, Modellelmélet, Modus ponens, Nyelv, Szám, Természetes nyelv.
Alfred Tarski
Alfred Tarski (eredeti neve: Teitelbaum,; Varsó, 1901. január 14. – Berkeley, Kalifornia, 1983. október 26.) lengyel matematikus, a varsói matematikai iskola kiemelkedő alakja, akit a négy legnagyobb logikus közé sorolnak Arisztotelész, Frege és Gödel mellett.
Új!!: Axiomatikus-deduktív módszer és Alfred Tarski · Többet látni »
Aritmetika
#ÁTIRÁNYÍTÁS számelmélet.
Új!!: Axiomatikus-deduktív módszer és Aritmetika · Többet látni »
Axióma
Az axióma olyan kiindulási feltételt jelent (például a filozófia ágaiban, vagy a matematikában), amelyet adottnak veszünk az érvelések során.
Új!!: Axiomatikus-deduktív módszer és Axióma · Többet látni »
Elméleti fizika
Féregjárat: Einstein-Rosen híd (művészi ábrázolás) Az elméleti fizika a fizika azon ága, amely matematikai modellek és fizikai absztrakciók segítségével észszerűsíti, magyarázza és előrevetíti a természetben előforduló jelenségeket.
Új!!: Axiomatikus-deduktív módszer és Elméleti fizika · Többet látni »
Eukleidész (matematikus)
Alexandriai Eukleidész (görög betűkkel: Εὐκλείδης; régiesen: Euklidész; i. e. 300 körül született) egyiptomi hellenisztikus matematikus, akit később a geometria atyjaként is emlegettek.
Új!!: Axiomatikus-deduktív módszer és Eukleidész (matematikus) · Többet látni »
Filozófiai logika
A filozófiai logika a logika egy ága, amely a logikai problémákat filozófiai szemszögből és módszerekkel tárgyalja.
Új!!: Axiomatikus-deduktív módszer és Filozófiai logika · Többet látni »
Fogalomírás
„Fogalomírásomnak az élet nyelvéhez való viszonyát, úgy vélem, azzal világíthatom meg a legjobban, ha a mikroszkópnak a szemhez való viszonyával vetem össze.
Új!!: Axiomatikus-deduktív módszer és Fogalomírás · Többet látni »
Formális logika
A formális logika, vagy más néven szimbolikus logika a logika tudományának egy ága, az okok és következmények struktúrájával foglalkozik.
Új!!: Axiomatikus-deduktív módszer és Formális logika · Többet látni »
Formális nyelv
A formális nyelv a matematika, a logika és az informatika számára egy véges ábécéből generálható, véges hosszúságú szavak (például karakterstringek, jelsorozatok) halmaza, amelyekkel a formális nyelvek elmélete foglalkozik.
Új!!: Axiomatikus-deduktív módszer és Formális nyelv · Többet látni »
Halmaz (matematika)
A halmaz a matematika egyik legalapvetőbb fogalma, melyet leginkább az „összesség”, „sokaság” szavakkal tudunk körülírni (egy Georg Cantor által adott körülírását ld. lentebb); de mivel igazából alapfogalom, így nem tartjuk definiálandónak.
Új!!: Axiomatikus-deduktív módszer és Halmaz (matematika) · Többet látni »
Halmazelmélet
A halmazelmélet - a matematikai logikával együtt - a matematika legalapvetőbb tudományága, mely a halmaz fogalmát tanulmányozza.
Új!!: Axiomatikus-deduktív módszer és Halmazelmélet · Többet látni »
Kategóriaelmélet
A kategóriaelmélet az univerzális algebrához hasonlóan felfogható matematikai struktúrák általános elméleteként, ahol a struktúrák között szerepelnek csoportok, gyűrűk, modulusok és topologikus terek.
Új!!: Axiomatikus-deduktív módszer és Kategóriaelmélet · Többet látni »
Logika
A logika az érvényes következtetések és bizonyítások, illetve az ezzel összefüggő filozófiai, matematikai, nyelvészeti és tudományos módszertani kérdések tudománya.
Új!!: Axiomatikus-deduktív módszer és Logika · Többet látni »
Matematika
Pszeudoszféra Marosvásárhelyen, a Bolyai téren Euklidész: ''Elemek'' c. híres geometria-tankönyvéhez (Franciaország, XIV. szd. első évtizedei) A matematika tárgyát és módszereit tekintve, sajátos tudomány, mely részben a többi tudomány által vizsgált, részben pedig a matematika „belső” fejlődéséből adódóan létrejött (felfedezett, ill. feltalált) rendszereket, struktúrákat, azok absztrakt, közösen meglévő tulajdonságait vizsgálja.
Új!!: Axiomatikus-deduktív módszer és Matematika · Többet látni »
Matematikafilozófia
Matematikaszobor Marosvásárhelyen A matematikafilozófia a filozófia azon ága, mely a matematikával foglalkozik (szemben a tudománnyal mint olyannal általában foglalkozó tudományfilozófiával, melynek nem tárgya külön a matematika természete, és ami nem jelenti külön egy-egy tudományág vizsgálatát), a matematikafilozófia az ún.
Új!!: Axiomatikus-deduktív módszer és Matematikafilozófia · Többet látni »
Matematikai logika
A matematikai logika a matematika egyik fejezete, a matematikai rendszereket, a matematikai bizonyításokat matematikai módszerekkel vizsgálja.
Új!!: Axiomatikus-deduktív módszer és Matematikai logika · Többet látni »
Metamatematika
A metamatematika a modern (19. század utáni) matematikai, matematikafilozófiai, illetve filozófiai publikációkban különféle, egymással rokonságban lévő, de nem mindenhol ugyanabban az értelemben használt kifejezés és fogalom.
Új!!: Axiomatikus-deduktív módszer és Metamatematika · Többet látni »
Modellelmélet
A modellelmélet a matematikai logika egyik legfontosabb ága a rekurzióelmélet mellett.
Új!!: Axiomatikus-deduktív módszer és Modellelmélet · Többet látni »
Modus ponens
A modus ponens, más néven a leválasztás szabálya a matematikában egy egyszerű bizonyítási módszer.
Új!!: Axiomatikus-deduktív módszer és Modus ponens · Többet látni »
Nyelv
A nyelv az emberi kommunikáció legáltalánosabb eszköze, tagolt, egymástól elkülöníthető jelekből alkotott jelrendszer.
Új!!: Axiomatikus-deduktív módszer és Nyelv · Többet látni »
Szám
A szám matematikai fogalom, mennyiségek leírására használatos.
Új!!: Axiomatikus-deduktív módszer és Szám · Többet látni »
Természetes nyelv
Természetes nyelvnek (a mesterséges nyelvekkel szemben) az emberek által használt olyan nyelvet nevezzük, amely egy közösség (törzs vagy nemzet) életében nemzedékről nemzedékre spontán vagy tudatos folyamatok (például nyelvújítás) során szabadon fejlődik, változik.
Új!!: Axiomatikus-deduktív módszer és Természetes nyelv · Többet látni »
