About: Intuitionism     Goto   Sponge   NotDistinct   Permalink

An Entity of Type : dbo:ProgrammingLanguage, within Data Space : dbpedia.org associated with source document(s)
QRcode icon
http://dbpedia.org/describe/?url=http%3A%2F%2Fdbpedia.org%2Fresource%2FIntuitionism

In the philosophy of mathematics, intuitionism, or neointuitionism (opposed to preintuitionism), is an approach where mathematics is considered to be purely the result of the constructive mental activity of humans rather than the discovery of fundamental principles claimed to exist in an objective reality. That is, logic and mathematics are not considered analytic activities wherein deep properties of objective reality are revealed and applied, but are instead considered the application of internally consistent methods used to realize more complex mental constructs, regardless of their possible independent existence in an objective reality.

AttributesValues
rdf:type
rdfs:label
  • Intuitionism (en)
  • حدسية (فلسفة الرياضيات) (ar)
  • Intuïcionisme (ca)
  • Intuitionismus (Logik und Mathematik) (de)
  • Intuiciismo (eo)
  • Intuicionismo (es)
  • Iomasachas (matamaitic) (ga)
  • Intuisionisme (in)
  • Intuitionnisme (fr)
  • Intuizionismo (it)
  • 직관주의 (ko)
  • 直観主義 (数学の哲学) (ja)
  • Intuicjonizm (matematyka) (pl)
  • Intuïtionisme (nl)
  • Intuicionismo (pt)
  • Интуиционизм (ru)
  • Intuitionism (sv)
  • 直觉主义 (zh)
  • Інтуїціонізм (uk)
rdfs:comment
  • في فلسفة الرياضيات، تعتبر الحدسية أو الحدسية الجديدة (على عكس ما قبل الحدسية) نهجًا تُعتبر فيه الرياضيات مجرد نتيجة للنشاط العقلي البنّاء للبشر بدلاً من اكتشاف المبادئ الأساسية التي يُزعم وجودها في واقع موضوعي. أي أن المنطق والرياضيات لا يُعتبران من الأنشطة التحليلية حيث يتم الكشف عن الخصائص العميقة للواقع الموضوعي وتطبيقها، ولكن يتم اعتبارهما بدلاً من ذلك تطبيقًا لأساليب متسقة داخليًا تُستخدم لتحقيق بنى عقلية أكثر تعقيدًا، بغض النظر عن وجودها المستقل المحتمل في واقع موضوعي. (ar)
  • Der Intuitionismus ist eine von L. E. J. Brouwer begründete Richtung der Philosophie der Mathematik, bei der die Mathematik als Tätigkeit des exakten Denkens angesehen wird, die ihre eigenen Objekte hervorbringt und nicht voraussetzt. Wahrheit mathematischer Aussagen wird reduziert auf Konstruierbarkeit, womit der Intuitionismus als eine Art von Konstruktivismus gelten kann. Der Intuitionismus ist eine der Grundpositionen im Grundlagenstreit der Mathematik. (de)
  • In the philosophy of mathematics, intuitionism, or neointuitionism (opposed to preintuitionism), is an approach where mathematics is considered to be purely the result of the constructive mental activity of humans rather than the discovery of fundamental principles claimed to exist in an objective reality. That is, logic and mathematics are not considered analytic activities wherein deep properties of objective reality are revealed and applied, but are instead considered the application of internally consistent methods used to realize more complex mental constructs, regardless of their possible independent existence in an objective reality. (en)
  • Sa mhatamaitic, teoiric de chuid an mhatamaiticeora Ollanaigh Luitzen Egbertus Jan Brouwer (1881-1966) a dhéanann cothromaíocht idir an rud is féidir a chruthú agus an fhírinne. D'ionsaigh a mhodh oibre bunúis loighciúla na matamaitice. Mar mhalairt, thairg sé go raibh an mhatamaitic bunaithe ar raon tógálacha meabhracha, rialaithe ag dlíthe atá follasach iontu féin. Ba shuntasach a shaothar i bhforbairt na toipeolaíochta. (ga)
  • Intuisionisme (berasal dari bahasa Latin: intuitio yang berarti pemandangan) adalah suatu aliran filsafat yang menganggap adanya satu kemampuan tingkat tinggi yang dimiliki manusia, yaitu intuisi. Tokoh aliran ini diantaranya dalah Henri Bergson. Intuisionisme selalu berdebat dengan paham rasionalisme. (in)
  • Het intuïtionisme is een grondslagenstroming in de wiskunde die rond 1900 opkwam en waarvan de Nederlandse wiskundigen L.E.J. Brouwer en Arend Heyting belangrijke vertegenwoordigers waren. (nl)
  • 数学の哲学において、直観主義(ちょっかんしゅぎ、英: Intuitionism)とは、数学の基礎を数学者の直観におく立場のことを指す。 (ja)
  • 在数学哲学和邏輯中,直觉主义(英語:Intuitionism),或者新直觉主义(Neointuitionism )(对应於(Preintuitionism)),是用人类的构造性思维活动进行数学研究的方法。也可翻译成直觀主義。 任何数学对象被视为思维构造的产物,所以一个对象的存在性等价于它的构造的可能性。这和古典的方法不同,因为根據古典方法,一个实体的存在可以通过否定它的不存在来证明。对直觉主义者來說,这是不正确的:不存在的否定不表示可能找到存在的构造证明。正因为如此,直觉主义是数学结构主义的一种;但它不是唯一的一类。 直觉主义把数学命题的正确性和它可以被证明等同起来;如果数学对象纯粹是精神上的构造,还有什么其它法则可以用作真实性的检验呢(如同直觉主义者所說的一样)?这意味着直觉主义者对一个数学命题的含义,可能與古典的数学家有不同理解。例如,说 A 或 B,对于一个直觉主义者,是宣称 A 或是 B 可以被「证明」,而非兩者之一「為真」。值得一提的是,只允許 A 或 非A 的排中律,在直覺主義邏輯中是不被允许的;因为不能假设人们总是能够证明命题 A 或它的否定命题。 直觉主义也拒绝承认的抽象概念;也就是说,它不把像所有自然数的集合或任意有理数的序列这样的无穷当作实体来考虑。这要求将集合论和微积分的基础分别重新构造为和。 (zh)
  • Інтуїціонізм — сукупність філософських та математичних поглядів, що розглядають математичні судження з позицій інтуїтивної переконливості. Розрізняють два трактування інтуїціонізму: інтуїтивна переконливість, яка не пов'язана з питанням існування об'єктів, і наочна розумова переконливість. В інтуїціоністській математиці відкидається підхід теорії множин і ряд міркувань класичної логіки. Абстракція потенційної здійсненності, яка використовується в інтуїціоністській математиці, краще співвідноситься з дійсністю, ніж абстракція актуальної нескінченності. (uk)
  • L'intuïcionisme és una escola de la lògica matemàtica que estableix que les matemàtiques tenen prioritat sobre la lògica; els objectes matemàtics són construïts i operats mentalment pel matemàtic i és impossible definir les propietats dels objectes matemàtics establint simplement un conjunt d'axiomes. En concret, els intuïcionistes rebutgen la Llei del Terç Exclòs que permet fer demostracions per reducció a l'absurd. (ca)
  • Intuiciismo estas skolo (ismo) de matematiko, laŭ kiu pensado superas predikatan logikon.Intuiciistoj opinias, ke objektoj de matematiko estas konstruitaj kaj manipulitaj de la menso de la matematikisto pro tio, ke ne eblas difini la ecojn de matematikaj objektoj nur per predikata logiko. Specife, intuiciistoj malakceptas la leĝon de neekzisto de tria eblo kiu permesas pruvi pozitivajn asertojn per kontraŭdiro-pruvo. Tiu skolo estas, ja, matematika rigardo pri Dia ekzisteco (Dio povas sukcesi vidi senfinan aron tute, homo povas sukcesi vidi nur kelkajn erojn pri la aro). (eo)
  • En filosofía de las matemáticas, el intuicionismo o neointuicionismo (contrario a ) es una aproximación a las matemáticas que considera todo objeto matemático como producto de la mente humana. Así por ejemplo, los números, como los personajes de los cuentos de hadas, no son más que entidades mentales, que no existiría si las mentes humanas no pensaran en ellos. El intuicionismo también rechaza la abstracción del infinito; no considera asignarle a algún conjunto dado entidades infinitas, como el campo de los números naturales, o a una secuencia arbitraria de números racionales. (es)
  • Il ne faut pas le confondre avec l'. L'intuitionnisme est une philosophie des mathématiques que L. E. J. Brouwer a élaborée au début du XXe siècle. Pour Brouwer, les mathématiques sont une libre création de l'esprit humain et tous les objets qu'elles manipulent doivent être accessibles à l'intuition. L'intuitionnisme a pour conséquence une profonde remise en cause des mathématiques, notamment en refusant l'infini actuel : un nombre réel ne peut être représenté comme une suite infinie de décimales qu'à la condition de disposer d'un moyen effectif de calculer chacune de ces décimales ; on parle alors de réel constructif. (fr)
  • 직관주의(直觀主義, 영어: Intuitionism)란, 수학의 개념들은 인간의 건설적 사고 활동의 결과일 뿐, 객관적인 실재(objective reality)에 존재하는 기본 원리들이 발견되는 것으로 볼 수 없다고 접근하는 입장이다. 이는 곧 수학과 논리학의 기초가 수학자의 직관에서 유래되었다고 주장하는 입장으로, 수학의 개념들은 그 체계 내부에서는 영원히 참이지만 이것을 실제 세계에 반드시 적용할 수 있는 것은 아니라고 주장하는 것이다. 브라우어르가 현대적 직관주의를 확립하였으므로, 크로네커나 푸앵카레 등의 입장은 전직관주의 혹은 구직관주의(preintuitionism), 그리고 브라우어르 및 그 이후의 직관주의적 입장은 신직관주의(neointuitionism)이라고 구분되어 불리기도 한다. (ko)
  • Nella filosofia della matematica, l'intuizionismo, o neointuizionismo (opposto al ), è un approccio alla matematica in cui ogni oggetto matematico è considerato un prodotto dell'attività costruttiva della mente umana. Per l'intuizionismo, l'esistenza di un ente è equivalente alla possibilità della sua costruzione. Vengono quindi rifiutate le dimostrazioni che implicano esplicitamente l'utilizzo di insiemi a cardinalità infinita e l'utilizzo in questi casi dei ragionamenti basati sul principio del terzo escluso. (it)
  • Intuicjonizm – pogląd filozoficzny w zakresie istnienia obiektów matematycznych. Intuicjonizm jest prądem blisko związanym z finityzmem i innymi nurtami . Powstał głównie w związku z pojawieniem się teorii mnogości i paradoksów ujawnionych w jej ramach, jednak jego kontekst jest szerszy i ogólnie obejmuje odpowiedź na problemy wynikające z koncepcji nieskończoności i granicy w matematyce. Jego prekursorem był Leopold Kronecker. Intuicjoniści uważają, że pewne atrybuty niektórych prostych obiektów matematycznych, jak np. liczb naturalnych czy obiektów geometrycznych lub własności przestrzeni, są nam dane i są dostępne poznaniu dzięki intuicjom, jakie posiadamy na ich temat, niepotrzebna do nich logika czy doświadczenie. Uważają oni, że treść twierdzeń matematycznych, a zwłaszcza mechanizmy (pl)
  • Intuitionism, matematikfilosofisk åskådning grundad av Luitzen Egbertus Jan Brouwer, enligt vilken stora delar av den klassiska matematiken måste förkastas. Enligt intuitionismen är matematiken en mer grundläggande mental aktivitet än logiken, i motsats till vad logicismen hävdar. Enligt intuitionismen konstruerar vi talen ett, två, tre, fyra,... som mentala objekt, som mentala verktyg att räkna med. Först därefter börjar vi resonera om dessa objekt. Matematiken handlar alltså, enligt intuitionismen, om objekt som det skapande subjektet har i sitt medvetande. Det enda rimliga sanningskriteriet för "det existerar ett objekt sådant att..." måste då bli att det skapande subjektet kan konstruera, i sitt medvetande, ett objekt som uppfyller den aktuella egenskapen. Detta resulterar i en mycket (sv)
  • Интуициони́зм — совокупность философских и математических взглядов, рассматривающих математические суждения с позиций «интуитивной убедительности». Различаются две трактовки интуиционизма: интуитивная убедительность, которая не связана с вопросом существования объектов, и наглядная умственная убедительность. (ru)
  • Na filosofia da matemática, intuicionismo ou neo-intuicionismo (em oposição ao ) é uma abordagem à matemática de acordo com a atividade mental construtiva dos humanos. Qualquer objeto matemático é considerado um produto da construção de uma mente e, portanto, a existência de um objeto é equivalente à possibilidade de sua construção. Isto contrasta com a abordagem clássica, que afirma que a existência de uma entidade pode ser provada através da refutação da sua não-existência. Para os intuicionistas, isto é inválido; a refutação da não existência não significa que é possível achar uma prova construtiva da existência. Como tal, intuicionismo é uma variedade de , mas não a única. (pt)
dcterms:subject
Wikipage page ID
Wikipage revision ID
Link from a Wikipage to another Wikipage
Faceted Search & Find service v1.17_git139 as of Feb 29 2024


Alternative Linked Data Documents: ODE     Content Formats:   [cxml] [csv]     RDF   [text] [turtle] [ld+json] [rdf+json] [rdf+xml]     ODATA   [atom+xml] [odata+json]     Microdata   [microdata+json] [html]    About   
This material is Open Knowledge   W3C Semantic Web Technology [RDF Data] Valid XHTML + RDFa
OpenLink Virtuoso version 08.03.3330 as of Mar 19 2024, on Linux (x86_64-generic-linux-glibc212), Single-Server Edition (62 GB total memory, 38 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software