About: Formalism (philosophy of mathematics)     Goto   Sponge   NotDistinct   Permalink

An Entity of Type : owl:Thing, within Data Space : dbpedia.org associated with source document(s)

In the philosophy of mathematics, formalism is the view that holds that statements of mathematics and logic can be considered to be statements about the consequences of the manipulation of strings (alphanumeric sequences of symbols, usually as equations) using established manipulation rules. A central idea of formalism "is that mathematics is not a body of propositions representing an abstract sector of reality, but is much more akin to a game, bringing with it no more commitment to an ontology of objects or properties than ludo or chess." According to formalism, the truths expressed in logic and mathematics are not about numbers, sets, or triangles or any other coextensive subject matter — in fact, they aren't "about" anything at all. Rather, mathematical statements are syntactic forms wh

AttributesValues
rdfs:label
  • شكلية (فلسفة الرياضيات)
  • Formalisme (matemàtiques)
  • Formalismus (Mathematik)
  • Formalism (philosophy of mathematics)
  • Formalismo matemático
  • Foirmiúlachas (matamaitic)
  • 形式主義 (数学)
  • Formalisme (wiskunde)
  • Objeto formal
  • Формализм (математика)
  • Формалізм (математика)
rdfs:comment
  • El formalisme en filosofia de les matemàtiques, és una teoria que defensa que les proposicions matemàtiques (i lògiques) es poden entendre com el resultat de la manipulació de cadenes de símbols sota unes estrictes normes sintàctiques de transformació.
  • I bh, is éard atá san fhoirmiúlachas ná an dearcadh nach bhfuil i ráitis mhatamaiticiúla nó loighciúla ach teaghráin (seichimh siombailí alfa-uimhriúla, go minic mar chothromóidí) a fhaightear trí rialacha réamhbhunaithe láimhsithe. De réir na fealsúnachta seo, ní bhaineann fírinní matamaiticiúla le huimhreacha, tacair, nó triantáin; ina áit sin, is éard atá iontu ná foirmeacha comhréireacha nach bhfuil brí ar bith ag baint leo, mura gceanglaítear séimeantaic leo d'aon ghnó. Ba é David Hilbert an matamaiticeoir is clúití a thug tacaíocht don dearcadh seo i dtús na 20ú haois.
  • 数学における形式主義(英: formalism)とは、数学における命題を少数の記号によって表し、証明において使われる推論を純粋に記号の操作と捉える考え方のことを指す。
  • Формализм — один из подходов к философии математики, пытающийся свести проблему оснований математики к изучению формальных систем. Наряду с логицизмом и интуиционизмом считался в XX веке одним из направлений в философии математики.
  • Формалізм — один з підходів до філософії математики, який намагається звести проблему основ математики до вивчення формальних систем. Поряд з логіцизмом і інтуїціонізмом вважався в XX столітті одним з напрямків фундаменталізму в філософії математики.
  • في فلسفة الرياضيات، الشكلية هي وجهة النظر التي تنص على أن بيانات الرياضيات والمنطق يمكن اعتبارها عبارات حول عواقب التلاعب بالسلاسل (التسلسل الأبجدي الرقمي للرموز، عادةً كمعادلات) باستخدام قواعد التلاعب الراسخة. الفكرة المركزية للشكليات "هي أن الرياضيات ليست مجموعة من الافتراضات التي تمثل قطاعًا مجرّدًا من الواقع، ولكنها أقرب إلى لعبة، ولا تجلب معها التزامًا بوجودية الأشياء أو الخصائص أكثر من اللودو أو الشطرنج". وفقًا للشكلية، فإن الحقائق المعبر عنها في المنطق والرياضيات لا تتعلق بالأرقام أو المجموعات أو المثلثات أو أي موضوع متزامن آخر في الواقع، لا تتعلق "بأي شيء" على الإطلاق. بدلاً من ذلك، تعتبر العبارات الرياضية أشكالًا نحوية لا تحمل أشكالها ومواقعها أي معنى ما لم يتم تفسيرها (أو دلالاتها). على عكس المنطقانية أو الحدسية، فإن حدود الشكلية أقل تحديدًا بسبب الأساليب الواسعة التي يمكن تصنيفه
  • En fundamentos de las matemáticas, filosofía de las matemáticas y filosofía de la lógica, el formalismo matemático es una teoría que sostiene que las proposiciones de las matemáticas y la lógica pueden considerarse como declaraciones sobre las consecuencias de ciertas reglas de manipulación de símbolos o términos o cadena de caracteres.​​
  • In the philosophy of mathematics, formalism is the view that holds that statements of mathematics and logic can be considered to be statements about the consequences of the manipulation of strings (alphanumeric sequences of symbols, usually as equations) using established manipulation rules. A central idea of formalism "is that mathematics is not a body of propositions representing an abstract sector of reality, but is much more akin to a game, bringing with it no more commitment to an ontology of objects or properties than ludo or chess." According to formalism, the truths expressed in logic and mathematics are not about numbers, sets, or triangles or any other coextensive subject matter — in fact, they aren't "about" anything at all. Rather, mathematical statements are syntactic forms wh
  • In de grondslagen--, de filosofie van de wiskunde, en de is het formalisme een theorie, die het geven van enige betekenis van wiskundige symbolen, zowel objectief (zoals voorgesteld in het platonisme), als subjectief (zoals voorgesteld in het intuïtionisme) veroordeelt. Uitspraken over wiskunde en logica moeten worden gezien als uitspraken over de gevolgen van bepaalde regels met betrekking tot het manipuleren van reeksen symbolen en het doen van afleidingen binnen een formeel systeem.
  • Em fundamentos da matemática, filosofia da matemática e filosofia da lógica,formalismo é uma teoria que sustenta afirmações matemáticas e lógicas e pode ser considerada como afirmações sobre as consequências de certas regras de manipulação de strings. Por exemplo, a geometria euclidiana pode ser vista como um jogo onde suas jogadas consistem em mover-se ao redor de certas strings de símbolos chamadas axiomas de acordo com um conjunto de regras chamadas "regras de inferência" para gerar novas strings.
foaf:depiction
  • External Image
foaf:isPrimaryTopicOf
thumbnail
dct:subject
Wikipage page ID
Wikipage revision ID
Link from a Wikipage to another Wikipage
sameAs
Faceted Search & Find service v1.17_git81 as of Jul 16 2021


Alternative Linked Data Documents: PivotViewer | ODE     Content Formats:       RDF       ODATA       Microdata      About   
This material is Open Knowledge   W3C Semantic Web Technology [RDF Data] Valid XHTML + RDFa
OpenLink Virtuoso version 08.03.3322 as of Jul 22 2021, on Linux (x86_64-generic-linux-glibc25), Single-Server Edition (61 GB total memory)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2021 OpenLink Software