Gyorsabb hozzáférés, mint a böngésző!
38 kapcsolatok: A logika története, A matematikafilozófia története, Abel, Arisztotelész, Axióma, Bernard Bolzano, Cauchy, David Hilbert, Definíció, Descartes, Eukleidész (matematikus), Gödel, Gödel első nemteljességi tétele, Gödel teljességi tétele, Gottlob Frege, Hamisból minden következik, Heurisztika, Igazság (filozófia), Indirekt bizonyítás, Jólrendezés, Kalmár László (matematikus), Karl Weierstrass, Lakatos Imre (filozófus), Matematika, Matematikai logika, Modus ponens, Organon (Arisztotelész), Parmenidész, Pólya György, Platón, Quod erat demonstrandum, Reductio ad absurdum, Sorozat (matematika), Szókratész, Természetes számok, Tertium non datur, Thalész, Tudomány.
A logika története
A logikával foglalkozó első dokumentumok egyike a Dissoi Logoi (kb. „ellentétes szavak”.
Új!!: Matematikai bizonyítás és A logika története · Többet látni »
A matematikafilozófia története
A matematikafilozófia története azokat az eseményeket, elméleteket öleli fel, melyek a matematikáról mint tudományról való gondolkodással kapcsolatosak, vagyis hogy vajon a különböző korokban hogyan vélekedtek a matematikáról, milyen kép élt e tudományról (főképp, de nem kizárólag művelői, a matematikusok elméjében).
Új!!: Matematikai bizonyítás és A matematikafilozófia története · Többet látni »
Abel
#ÁTIRÁNYÍTÁS Ábel (egyértelműsítő lap).
Új!!: Matematikai bizonyítás és Abel · Többet látni »
Arisztotelész
Arisztotelész (ógörögül); (Sztageira, Kr. e. 384 – Khalkisz, Kr. e. 322. március 7.) görög tudós és filozófus, a modern európai tudomány atyja és előfutára.
Új!!: Matematikai bizonyítás és Arisztotelész · 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!!: Matematikai bizonyítás és Axióma · Többet látni »
Bernard Bolzano
Bernard Placidus Johann Nepomuk Bolzano (Prága, 1781. október 5. – Prága, 1848. december 18.) szudétanémet matematikus, filozófus.
Új!!: Matematikai bizonyítás és Bernard Bolzano · Többet látni »
Cauchy
#ÁTIRÁNYÍTÁS Augustin Cauchy.
Új!!: Matematikai bizonyítás és Cauchy · Többet látni »
David Hilbert
David Hilbert (Königsberg, Poroszország, 1862. január 23. – Göttingen, Németország, 1943. február 14.) német matematikus.
Új!!: Matematikai bizonyítás és David Hilbert · Többet látni »
Definíció
Definíciónak nevezzük általában egy fogalomnak vagy egy jel (például egy nyelvi kifejezés) jelentésének meghatározását.
Új!!: Matematikai bizonyítás és Definíció · Többet látni »
Descartes
#ÁTIRÁNYÍTÁS René Descartes.
Új!!: Matematikai bizonyítás és Descartes · 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!!: Matematikai bizonyítás és Eukleidész (matematikus) · Többet látni »
Gödel
#ÁTIRÁNYÍTÁS Kurt Gödel.
Új!!: Matematikai bizonyítás és Gödel · Többet látni »
Gödel első nemteljességi tétele
''Gödel I. nemteljességi tételének elve''. Az aritmetikában felírható az a ☐''A'' formula, melynek jelentése: „''A'' levezethető”, és az a '''G''' Gödel-mondat, melynek jelentése: ''a'' '''G''' ''mondat (tehát saját maga) nem levezethető''. Ha az aritmetikából nem vezethető le ellentmondás ''(T'' ⊬ '''f')'', akkor sem '''G''', sem negációja (¬'''G''') nem bizonyítható, azaz '''G''' „igazságértéke” a matematika számára eldönthetetlen. Gödel első nemteljességi tétele Kurt Gödel osztrák matematikus matematikai logika és a metamatematika nagy jelentőségű tétele, mely (a Gödel második nemteljességi tételével együtt) destruktív hatást gyakorolt a matematika formális nyelvekre építő megalapozási kísérleteire.
Új!!: Matematikai bizonyítás és Gödel első nemteljességi tétele · Többet látni »
Gödel teljességi tétele
Gödel teljességi tétele a matematikai logika fontos tétele, azt mondja ki, hogy ha egy elsőrendű elméletben egy tetszőleges mondat minden modellben igaz, akkor bizonyítható is.
Új!!: Matematikai bizonyítás és Gödel teljességi tétele · Többet látni »
Gottlob Frege
Friedrich Ludwig Gottlob Frege (Wismar, Mecklenburg-Schwerin, 1848. november 8. – Bad Kleinen, 1925. július 26.) német matematikus, logikatudós, filozófus, a modern matematikai logika és analitikus filozófia megalapítója, művelője.
Új!!: Matematikai bizonyítás és Gottlob Frege · Többet látni »
Hamisból minden következik
\begin \scriptstyle & A \wedge (\neg A) & \mbox\\\\ \scriptstyle & A & \scriptstyle\; \wedge \mbox\\\\ \scriptstyle & \neg A & \scriptstyle\; \wedge \mbox\\\\ \scriptstyle & (\neg A) \vee B & \scriptstyle\; \vee \mbox\\\\ \scriptstyle & A \Rightarrow B & \scriptstyle \;\equiv\; \scriptstyle\\\\ \scriptstyle & B & \mbox \scriptstyle,\scriptstyle \end Az ex falso quodlibet sémájának bizonyítása az alapvető logikai klasszikus szabályokból A „hamisból minden következik” elve vagy latinul az „ex falso sequitur quodlibet” (illetve „ex contradictione sequitur quodlibet”) a klasszikus logika (és néhány nem klasszikus logika) következtetési szabálya, mely szerint ha 'A' és 'B' mondatok, akkor Azaz ha egy érvelés során egy 'A' mondatot elfogadunk, de elfogadjuk a tagadását, vagyis 'nem A'-t is, akkor innentől kezdve akármelyik 'B' mondatot el kell fogadnunk.
Új!!: Matematikai bizonyítás és Hamisból minden következik · Többet látni »
Heurisztika
A Heurisztika az ógörög heureszisz (rátalálás) szóból származik.
Új!!: Matematikai bizonyítás és Heurisztika · Többet látni »
Igazság (filozófia)
Antonio Canova: Iustitia (1792) – Milánó, Piazza Scala Képtár Az igazság a valóság ellenőrizhető tényei, és az erről szóló állítások megfelelése egymásnak.
Új!!: Matematikai bizonyítás és Igazság (filozófia) · Többet látni »
Indirekt bizonyítás
A matematikában és a logikában indirekt bizonyításnak nevezzük azt a fajta bizonyítást, amelyben feltesszük a bizonyítani kívánt állítás tagadását, majd ebből szabályos logikai lépések útján ellentmondásra jutunk valamilyen ismert ténnyel.
Új!!: Matematikai bizonyítás és Indirekt bizonyítás · Többet látni »
Jólrendezés
#ÁTIRÁNYÍTÁS Jólrendezett halmaz.
Új!!: Matematikai bizonyítás és Jólrendezés · Többet látni »
Kalmár László (matematikus)
Kalmár László (Edde-Alsóbogátpuszta, 1905. március 27. – Mátraháza, 1976. augusztus 2.) magyar matematikus, az MTA tagja.
Új!!: Matematikai bizonyítás és Kalmár László (matematikus) · Többet látni »
Karl Weierstrass
Karl Theodor Wilhelm Weierstrass (Ostenfelde, Bajorország, 1815. október 31. – Berlin, 1897. február 19.) német matematikus, a modern függvényelmélet egyik megalapozója.
Új!!: Matematikai bizonyítás és Karl Weierstrass · Többet látni »
Lakatos Imre (filozófus)
Lakatos Imre (Debrecen, 1922. november 9. – London, 1974. február 2.), magyar matematika- és tudományfilozófus.
Új!!: Matematikai bizonyítás és Lakatos Imre (filozófus) · 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!!: Matematikai bizonyítás és Matematika · 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!!: Matematikai bizonyítás és Matematikai logika · 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!!: Matematikai bizonyítás és Modus ponens · Többet látni »
Organon (Arisztotelész)
Az Organon (+¸Óργανον görög szó, magyarul „segédeszköz”, „szerszám”) a logika tudományát megalapozó ókori görög filozófus, Arisztotelész bizonyos logikai írásainak gyűjteménye.
Új!!: Matematikai bizonyítás és Organon (Arisztotelész) · Többet látni »
Parmenidész
Az eleai Parmenidész (Παρμενίδης, Elea, kb. i. e. 540 vagy 515–510, – i. e. 460 vagy 435–430 körül), Pürész fia, a dél-itáliai Elea városában (ma: Castellamaro della Brucca) született filozófus és politikus, az eleai filozófiai iskola alapítója.
Új!!: Matematikai bizonyítás és Parmenidész · Többet látni »
Pólya György
Pólya György (George Pólya) (Budapest, 1887. december 13. – Palo Alto, 1985. szeptember 7.) magyar matematikus, fizikus és metodológus.
Új!!: Matematikai bizonyítás és Pólya György · Többet látni »
Platón
Platón (görögül: Πλάτων), (régiesen Plátó, eredetileg: Arisztoklész; sz.: Kr. e. 427 körül, Athén vagy Aigina – † Kr. e. 347, Athén), ókori görög filozófus, iskolaalapító.
Új!!: Matematikai bizonyítás és Platón · Többet látni »
Quod erat demonstrandum
A quod erat demonstrandum kifejezés (rövidítve Q. E. D.) a latin nyelvből származik, jelentése: „ezt kellett bizonyítani” (szó szerint: „ami bizonyítandó volt”).
Új!!: Matematikai bizonyítás és Quod erat demonstrandum · Többet látni »
Reductio ad absurdum
A reductio ad absurdum (latin: visszavezetés az abszurdra) az érvelés egy formája, amely során az érvelő a vita kedvéért elfogad egy állítást, megmutatja, hogy valamilyen képtelenség következik belőle, és ebből arra jut, hogy az állítás mégse volt igaz.
Új!!: Matematikai bizonyítás és Reductio ad absurdum · Többet látni »
Sorozat (matematika)
Formális definíció szerint véges sorozaton a természetes számok egy véges részhalmazán értelmezett, végtelen sorozaton (régiesen: haladványon) pedig a természetes számok halmazán (általában Z+-on) értelmezett függvényt értünk.
Új!!: Matematikai bizonyítás és Sorozat (matematika) · Többet látni »
Szókratész
Szókratész, (Alópeké démosz, ókori Görögország, i. e. 469 eleje – Athén, i. e. 399. február 15. vagy május) ókori görög filozófus.
Új!!: Matematikai bizonyítás és Szókratész · Többet látni »
Természetes számok
Természetes számoknak nevezik.
Új!!: Matematikai bizonyítás és Természetes számok · Többet látni »
Tertium non datur
#ÁTIRÁNYÍTÁS kizárt harmadik elve Kategória:Logika.
Új!!: Matematikai bizonyítás és Tertium non datur · Többet látni »
Thalész
Milétoszi Thalész (Milétosz, Kr. e. 624 körül – Kr. e. 546 körül).
Új!!: Matematikai bizonyítás és Thalész · Többet látni »
Tudomány
A tudomány a bennünket körülvevő világ megismerésére irányuló tevékenység és az ezen tevékenység során szerzett igazolt (tesztelt vagy bizonyított) ismeretek gondolati rendszere.
Új!!: Matematikai bizonyítás és Tudomány · Többet látni »
