Warning: Undefined variable $type in /home/users/1/sub.jp-asate/web/wiki/extensions/HeadScript/HeadScript.php on line 3
Warning: "continue" targeting switch is equivalent to "break". Did you mean to use "continue 2"? in /home/users/1/sub.jp-asate/web/wiki/includes/json/FormatJson.php on line 297
Warning: Trying to access array offset on value of type bool in /home/users/1/sub.jp-asate/web/wiki/includes/Setup.php on line 660
Warning: session_name(): Session name cannot be changed after headers have already been sent in /home/users/1/sub.jp-asate/web/wiki/includes/Setup.php on line 834
Warning: ini_set(): Session ini settings cannot be changed after headers have already been sent in /home/users/1/sub.jp-asate/web/wiki/includes/session/PHPSessionHandler.php on line 126
Warning: ini_set(): Session ini settings cannot be changed after headers have already been sent in /home/users/1/sub.jp-asate/web/wiki/includes/session/PHPSessionHandler.php on line 127
Warning: session_cache_limiter(): Session cache limiter cannot be changed after headers have already been sent in /home/users/1/sub.jp-asate/web/wiki/includes/session/PHPSessionHandler.php on line 133
Warning: session_set_save_handler(): Session save handler cannot be changed after headers have already been sent in /home/users/1/sub.jp-asate/web/wiki/includes/session/PHPSessionHandler.php on line 140
Warning: "continue" targeting switch is equivalent to "break". Did you mean to use "continue 2"? in /home/users/1/sub.jp-asate/web/wiki/languages/LanguageConverter.php on line 773
Warning: Cannot modify header information - headers already sent by (output started at /home/users/1/sub.jp-asate/web/wiki/extensions/HeadScript/HeadScript.php:3) in /home/users/1/sub.jp-asate/web/wiki/includes/Feed.php on line 294
Warning: Cannot modify header information - headers already sent by (output started at /home/users/1/sub.jp-asate/web/wiki/extensions/HeadScript/HeadScript.php:3) in /home/users/1/sub.jp-asate/web/wiki/includes/Feed.php on line 300
Warning: Cannot modify header information - headers already sent by (output started at /home/users/1/sub.jp-asate/web/wiki/extensions/HeadScript/HeadScript.php:3) in /home/users/1/sub.jp-asate/web/wiki/includes/WebResponse.php on line 46
Warning: Cannot modify header information - headers already sent by (output started at /home/users/1/sub.jp-asate/web/wiki/extensions/HeadScript/HeadScript.php:3) in /home/users/1/sub.jp-asate/web/wiki/includes/WebResponse.php on line 46
Warning: Cannot modify header information - headers already sent by (output started at /home/users/1/sub.jp-asate/web/wiki/extensions/HeadScript/HeadScript.php:3) in /home/users/1/sub.jp-asate/web/wiki/includes/WebResponse.php on line 46 http:///mymemo.xyz/wiki/api.php?action=feedcontributions&user=211.5.111.121&feedformat=atomminiwiki - 利用者の投稿記録 [ja]2024-05-18T15:50:01Z利用者の投稿記録MediaWiki 1.31.0超数学2014-04-18T02:03:53Z<p>211.5.111.121: </p>
<hr />
<div>{{出典の明記|date=2011年11月}}<br />
'''超数学'''(ちょうすうがく)あるいは'''メタ数学'''(メタすうがく、{{Lang-en-short|''metamathematics''}}<ref>{{Cite book|和書<br />
|author = [[文部省]]学術奨励審議会学術用語分科審議会編<br />
|title = [[学術用語集]] 論理学編<br />
|url = http://sciterm.nii.ac.jp/cgi-bin/reference.cgi<br />
|year = 1965<br />
|publisher = [[大日本図書]]<br />
|isbn = <br />
|page = <br />
}}</ref>)とは、[[数学]]自体を研究対象とした数学のこと。超数学という語を初めて用いたのは[[ダフィット・ヒルベルト|ヒルベルト]]であり、彼は数学の無矛盾性や[[完全性]]を問題とした。[[ゲーデルの完全性定理]]や[[不完全性定理]]はその例である。<br />
<br />
== 脚注 ==<br />
{{脚注ヘルプ}}<br />
{{Reflist}}<br />
<br />
== 参考文献 == <!-- {{Cite book}} --> <!-- {{Cite journal}} --><br />
{{節stub}}<br />
<br />
== 関連項目 ==<br />
<!-- {{Commonscat|Metamathematics}} --><br />
* [[メタ]]<br />
* [[数学基礎論]]<br />
* [[証明論]]<br />
* [[ヒルベルト・プログラム]]<br />
<br />
== 外部リンク == <!-- {{Cite web}} --><br />
{{節stub}}<br />
<br />
{{Math-stub}}<br />
<br />
{{DEFAULTSORT:ちようすうかく}}<br />
[[Category:数理論理学]]<br />
[[Category:数学に関する記事]]</div>211.5.111.121 Warning: Cannot modify header information - headers already sent by (output started at /home/users/1/sub.jp-asate/web/wiki/extensions/HeadScript/HeadScript.php:3) in /home/users/1/sub.jp-asate/web/wiki/includes/WebResponse.php on line 46