田中, 一之, 1955-
Tanaka, Kazuyuki, 1955-....
田中, 一之
田中一之
Tanaka, Kazuyuki
VIAF ID: 45927299 ( Personal )
Permalink: http://viaf.org/viaf/45927299
Preferred Forms
- 100 1 _ ‡a Tanaka, Kazuyuki
- 100 1 _ ‡a Tanaka, Kazuyuki, ‡d 1955-....
- 100 1 _ ‡a 田中, 一之
- 100 1 _ ‡a 田中, 一之, ‡d 1955-
- 100 0 _ ‡a 田中一之
4xx's: Alternate Name Forms (18)
Works
Title | Sources |
---|---|
Churingu to metapazuru : Tokeru mondai to tokenai mondai. | |
Gederu ni idomu : Shomei fukano na koto no shomei. | |
Gēderu no 20seiki | |
Gederu no teiri : Riyo to goyo no fukanzen gaido. | |
Gyaku sūgaku to 2kai sanjutsu | |
Kanzensei teiri to moderu riron | |
Model-theoretic studies on subsystems of second order arithmetic | |
search for certainty. | |
Senkei daisūgaku : Kiso katei | |
Shūgōron to puratonizumu | |
Sū no taikei to chōjun moderu | |
Sublinear Computation Paradigm : Algorithmic Revolution in the Big Data Era | |
Sūgaku no kiso o meguru ronsō : 21seiki no sūgaku to sūgaku kiso ron no arubeki sugata o kangaeru | |
Sūgaku no rojikku to shūgōron | |
Sumariyan suri ronrigaku kogi. | |
Tashikasa o motomete : Sūgaku no kiso ni tsuite no tetsugaku ronkō | |
Yama no ue no rojikku gakuen : Fukanzensei teiri o meguru nishukan no jugyo nisshi. | |
ゲーデルと20世紀の論理学 (ロジック) | |
ゲーデルに挑む : 証明不可能なことの証明 | |
ゲーデルの20世紀 | |
ゲーデルの定理 : 利用と誤用の不完全ガイド | |
スマリヤン数理論理学講義 = Raymond M. Smullyan Lectures on Mathematical Logic. | |
チューリングと超(メタ)パズル = Alan Turing and Meta-Puzzles : 解ける問題と解けない問題 | |
不完全性定理と算術の体系 | |
集合論とプラトニズム | |
完全性定理とモデル理論 | |
山の上のロジック学園 : 不完全性定理をめぐる2週間の授業日誌 | |
数の体系と超準モデル | |
数学のロジックと集合論 | |
数学の基礎をめぐる論争 : 21世紀の数学と数学基礎論のあるべき姿を考える : The mathematical intelligencer誌より | |
数学基礎論序説 : 数の体系への論理的アプローチ = Logical foundations of mathematics | |
数学基礎論講義 : 不完全性定理とその発展 | |
確かさを求めて : 数学の基礎についての哲学論考 | |
算術と計算の論理構造に関する研究 | |
線形代数学 : 基礎課程 | |
計算理論と数理論理学 = Mathematics of logic and computation | |
超準的手法と構成的手法の比較研究 | |
逆数学と2階算術 |