This HTML5 document contains 25 embedded RDF statements represented using HTML+Microdata notation.

The embedded RDF content will be recognized by any processor of HTML5 Microdata.

Namespace Prefixes

PrefixIRI
wikipedia-huhttp://hu.wikipedia.org/wiki/
dcthttp://purl.org/dc/terms/
n19https://www.youtube.com/
dbohttp://dbpedia.org/ontology/
foafhttp://xmlns.com/foaf/0.1/
dbpedia-huhttp://hu.dbpedia.org/resource/
prop-huhttp://hu.dbpedia.org/property/
n18http://www.sztaki.hu/~csaji/
rdfshttp://www.w3.org/2000/01/rdf-schema#
freebasehttp://rdf.freebase.com/ns/
n8http://www.informaworld.com/smpp/169684661-33015341/
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
n5http://hu.dbpedia.org/resource/Sablon:
n11http://plato.stanford.edu/entries/logic-intuitionistic/
owlhttp://www.w3.org/2002/07/owl#
provhttp://www.w3.org/ns/prov#
xsdhhttp://www.w3.org/2001/XMLSchema#
n14http://hu.dbpedia.org/resource/Kategória:
n12http://www.szt.bme.hu/Munkatrs/domokos/cikk_archiv/73/final/
n9http://plato.stanford.edu/entries/intuitionism/

Statements

Subject Item
dbpedia-hu:Matematikai_intuicionizmus
rdfs:label
Matematikai intuicionizmus
owl:sameAs
freebase:m.016p04
dct:subject
n14:Matematikafilozófia
dbo:wikiPageID
157509
dbo:wikiPageRevisionID
23571278
dbo:wikiPageExternalLink
n8:section%3Fcontent=a713823205&fulltext=713240928 n9: n11: n12:73.pdf n18:CsBCs_Intuicionizmus.pdf n19:watch%3Fv=E_dGqavx5AU
prop-hu:wikiPageUsesTemplate
n5:Portál n5:Csonk-dátum n5:Idézet n5:Nemzetközi_katalógusok n5:Halott_link n5:Jegyzetek
prop-hu:date
2019
prop-hu:url
n12:73.pdf
dbo:abstract
A matematikai intuicionizmus vagy neointuicionizmus (a továbbiakban: intuicionizmus) a huszadik század elején keletkezett, anti-realista (anti-objektivista) és matematikai – matematikafilozófiai iskola (különféle hagyományok és irányzatok összefoglaló neve), amely a matematika 19. század végétől kezdődött ún. megalapozási válságának légkörében vált közismertté. Fontos jellemzője az évezredes realista álláspont feladása a logikában és a matematikában: az intuicionisták szerint nincs az emberi tudattól független igazság. A (matematikai) állítások igazságértékének léte attól függ, hogy az emberi elme elgondolhatja-e, van-e hozzá kapcsolódó intuíciója (anti-realizmus); a matematikai objektumok pedig akkor mondhatóak létezőknek, ha véges sok lépésben megszerkesztettük őket (konstruktivizmus). Az intuicionisták szerint egy állítás – például a Riemann-sejtés –, melyet még nem bizonyítottak, nem rendelkezik igazságértékkel (ld. még például: ). Sőt léteznek se nem igaz, se nem hamis állítások, melyeket lehetetlen logikailag bizonyítani vagy cáfolni. Ezen nézetek egyik fontos következménye a matematikai használatának revíziója: az intuicionisták tagadták a kizárt harmadik elvének és a rá épülő indirekt egzisztenciabizonyítások általános érvényét. Ebből következően a(z intuicionista) matematika nem lehet a (hagyományos) logika része. Az intuicionisták szerint a matematika nem a logika része, inkább fordítva – pontosabban, a logika inkább a matematikai logika és a tapasztalat sajátos határtudománya. A matematika az elme nyelv nélküli alkotó tevékenysége, melynek alapeleme az idő érzékelése; ez a felfogás Immanuel Kant nézeteivel rokon. Brouwer iskolája filozófiailag szemben áll – némely esetben igen élesen – mind az empirista/materialista jellegű neopozitivizmussal, mind a matematikai olyan részben vagy teljesen idealista (realista) irányzataival, mint a platonizmus, a Frege–Russell-féle és a Hilbert-féle .
prov:wasDerivedFrom
wikipedia-hu:Matematikai_intuicionizmus?oldid=23571278&ns=0
dbo:wikiPageLength
5619
foaf:isPrimaryTopicOf
wikipedia-hu:Matematikai_intuicionizmus
Subject Item
dbpedia-hu:Intuicionizmus
dbo:wikiPageRedirects
dbpedia-hu:Matematikai_intuicionizmus
Subject Item
wikipedia-hu:Matematikai_intuicionizmus
foaf:primaryTopic
dbpedia-hu:Matematikai_intuicionizmus