Address
:
[go:
up one dir
,
main page
]
Include Form
Remove Scripts
Accept Cookies
Show Images
Show Referer
Rotate13
Base64
Strip Meta
Strip Title
Session Cookies
Toggle navigation
Faceted Browser
Sparql Endpoint
Browse using
OpenLink Faceted Browser
OpenLink Structured Data Editor
LodLive Browser
LODmilla Browser
Formats
RDF:
N-Triples
N3
Turtle
JSON
XML
OData:
Atom
JSON
Microdata:
JSON
HTML
Embedded:
JSON
Turtle
CSV
JSON-LD
About:
形式主義 (数学)
An Entity of Type :
Thing
, from Named Graph :
http://ja.dbpedia.org
, within Data Space :
ja.dbpedia.org
数学における形式主義(英: formalism)とは、数学における命題を少数の記号によって表し、証明において使われる推論を純粋に記号の操作と捉える考え方のことを指す。
Property
Value
dbo:
abstract
数学における形式主義(英: formalism)とは、数学における命題を少数の記号によって表し、証明において使われる推論を純粋に記号の操作と捉える考え方のことを指す。
(ja)
数学における形式主義(英: formalism)とは、数学における命題を少数の記号によって表し、証明において使われる推論を純粋に記号の操作と捉える考え方のことを指す。
(ja)
dbo:
thumbnail
wiki-commons
:Special:FilePath/Hilbert.jpg?width=300
dbo:
wikiPageExternalLink
http://www.springer.jp/978-4-431-70797-4%7Cref=%E3%83%9E%E3%83%83%E3%82%AF%E3%83%AC%E3%83%BC%E3%83%B31999
http://www.iwanami.co.jp/.BOOKS/33/0/3394410.html%7Cpages=73-309%7Cref=%E3%82%B2%E3%83%BC%E3%83%87%E3%83%AB2006
dbo:
wikiPageID
9567
(xsd:integer)
dbo:
wikiPageInterLanguageLink
dbr
:Philosophy_of_mathematics
dbpedia-es
:Filosofía_de_las_matemáticas
dbpedia-tr
:Matematik_Felsefesi
dbo:
wikiPageLength
3637
(xsd:nonNegativeInteger)
dbo:
wikiPageRevisionID
90114570
(xsd:integer)
dbo:
wikiPageWikiLink
dbpedia-ja
:Category:形式主義
dbpedia-ja
:Category:形式主義_(演繹推論)
dbpedia-ja
:Category:数学に関する記事
dbpedia-ja
:Category:数学の哲学
dbpedia-ja
:Category:数学基礎論
dbpedia-ja
:アルフレト・タルスキ
dbpedia-ja
:ゲーデルの不完全性定理
dbpedia-ja
:ダフィット・ヒルベルト
dbpedia-ja
:ハスケル・カリー
dbpedia-ja
:ヒルベルト・プログラム
dbpedia-ja
:ピタゴラスの定理
dbpedia-ja
:プリンキピア・マテマティカ
dbpedia-ja
:ユークリッド幾何学
dbpedia-ja
:リアリズム
dbpedia-ja
:ルドルフ・カルナップ
dbpedia-ja
:同値
dbpedia-ja
:哲学
dbpedia-ja
:哲学者
dbpedia-ja
:岩波文庫
dbpedia-ja
:推論規則
dbpedia-ja
:数
dbpedia-ja
:数学
dbpedia-ja
:数理論理学
dbpedia-ja
:林晋
dbpedia-ja
:構造主義
dbpedia-ja
:田中一之
dbpedia-ja
:直観主義_(数学の哲学)
dbpedia-ja
:真理
dbpedia-ja
:科学者
dbpedia-ja
:算術
dbpedia-ja
:自然数
dbpedia-ja
:集合論
dbpedia-ja
:ブルバキ
dbpedia-ja
:無矛盾性
dbpedia-ja
:演繹主義
dbpedia-ja
:八杉満利子
dbpedia-ja
:ファイル:Hilbert.jpg
dbpedia-ja
:公理論
prop-ja:
wikiPageUsesTemplate
template-ja
:Cite_book
template-ja
:Lang-en-short
template-ja
:Rough_translation
template-ja
:SEP
dct:
subject
dbpedia-ja
:Category:形式主義
dbpedia-ja
:Category:形式主義_(演繹推論)
dbpedia-ja
:Category:数学に関する記事
dbpedia-ja
:Category:数学の哲学
dbpedia-ja
:Category:数学基礎論
rdfs:
comment
数学における形式主義(英: formalism)とは、数学における命題を少数の記号によって表し、証明において使われる推論を純粋に記号の操作と捉える考え方のことを指す。
(ja)
数学における形式主義(英: formalism)とは、数学における命題を少数の記号によって表し、証明において使われる推論を純粋に記号の操作と捉える考え方のことを指す。
(ja)
rdfs:
label
形式主義 (数学)
(ja)
形式主義 (数学)
(ja)
owl:
sameAs
freebase
:形式主義 (数学)
prov:
wasDerivedFrom
wikipedia-ja
:形式主義_(数学)?oldid=90114570&ns=0
foaf:
depiction
wiki-commons
:Special:FilePath/Hilbert.jpg
foaf:
isPrimaryTopicOf
wikipedia-ja
:形式主義_(数学)
is
dbo:
wikiPageDisambiguates
of
dbpedia-ja
:形式主義
is
dbo:
wikiPageRedirects
of
dbpedia-ja
:数学の形式主義
is
dbo:
wikiPageWikiLink
of
dbpedia-ja
:アラン・チューリング
dbpedia-ja
:アンリ・ポアンカレ
dbpedia-ja
:ゲーデルの不完全性定理
dbpedia-ja
:バートランド・ラッセル
dbpedia-ja
:ヒルベルト・プログラム
dbpedia-ja
:ヘルマン・ワイル
dbpedia-ja
:ペアノの公理
dbpedia-ja
:ラカトシュ・イムレ
dbpedia-ja
:主義
dbpedia-ja
:合理主義哲学
dbpedia-ja
:哲学上の未解決問題
dbpedia-ja
:幾何学基礎論
dbpedia-ja
:弁証法
dbpedia-ja
:形式主義
dbpedia-ja
:形式体系
dbpedia-ja
:形式論理学
dbpedia-ja
:数学の哲学
dbpedia-ja
:数学の問題
dbpedia-ja
:数学基礎論
dbpedia-ja
:数理論理学
dbpedia-ja
:直観主義_(数学の哲学)
dbpedia-ja
:誤謬
dbpedia-ja
:論理主義_(数学)
dbpedia-ja
:量子力学
dbpedia-ja
:量子力学の数学的基礎
dbpedia-ja
:数学の形式主義
is
owl:
sameAs
of
dbpedia-wikidata
:形式主義 (数学)
is
foaf:
primaryTopic
of
wikipedia-ja
:形式主義_(数学)