Formalism (philosophy of mathematics)
In foundations of mathematics, philosophy of mathematics, and philosophy of logic, formalism is a theory that holds that statements of mathematics and logic can be considered to be statements about the consequences of certain string manipulation rules. According to formalism, the truths expressed in logic and mathematics are not about numbers, sets, or triangles or any other contensive subject matter — in fact, they aren't "about" anything at all. They are syntactic forms whose shapes and locations have no meaning unless they are given an interpretation (or semantics).
Wikipage redirect
primaryTopic
Formalism (philosophy of mathematics)
In foundations of mathematics, philosophy of mathematics, and philosophy of logic, formalism is a theory that holds that statements of mathematics and logic can be considered to be statements about the consequences of certain string manipulation rules. According to formalism, the truths expressed in logic and mathematics are not about numbers, sets, or triangles or any other contensive subject matter — in fact, they aren't "about" anything at all. They are syntactic forms whose shapes and locations have no meaning unless they are given an interpretation (or semantics).
has abstract
Der Formalismus ist eine von D ...... rmalistische Axiomatiker sind.
@de
Em fundamentos da matemática, ...... na tradição "computabilidade".
@pt
In de grondslagen--, de filoso ...... ids" traditie (zie hieronder).
@nl
In foundations of mathematics, ...... bility" tradition (see below).
@en
Por formalismo matemático se e ...... encia en cada caso particular.
@es
Формализм — один из подходов к ...... ализма в философии математики.
@ru
数学における形式主義(formalism)とは、数学における命題を少数の記号によって表し、証明において使われる推論を純粋に記号の操作と捉える考え方のことを指す。
@ja
thumbnail
Link from a Wikipage to an external page
Wikipage page ID
16,258,342
Wikipage revision ID
717,637,998
comment
Der Formalismus ist eine von D ...... me der Mathematik zu beweisen.
@de
Em fundamentos da matemática, ...... cia" para gerar novas strings.
@pt
In de grondslagen--, de filoso ...... en binnen een formeel systeem.
@nl
In foundations of mathematics, ...... interpretation (or semantics).
@en
Por formalismo matemático se e ...... rminos o cadena de caracteres.
@es
Формализм — один из подходов к ...... ализма в философии математики.
@ru
数学における形式主義(formalism)とは、数学における命題を少数の記号によって表し、証明において使われる推論を純粋に記号の操作と捉える考え方のことを指す。
@ja
label
Formalism (philosophy of mathematics)
@en
Formalisme (wiskunde)
@nl
Formalismo matemático
@es
Formalismus (Mathematik)
@de
Objeto formal
@pt
Формализм (математика)
@ru
形式主義 (数学)
@ja