Ceek.jp Altmetrics (α ver.)
  1. ホーム
  2. Twitter
  3. レポートと スライド作成 ゼミ準備 研究まとめ

レポートと スライド作成 ゼミ準備 研究まとめ (@Alwe_Logic)

投稿一覧（最新100件）

2 0 0 0 OA 多重視点の証明解析による逆数学の汎用化・深化とその応用

ykymさんもRT^2_2の保存性をHilbertプログラムの文脈で語っているな https://t.co/p5cuxW5e9E

6 0 0 0 OA 線形論理の誕生

@R_O_R_I_J_O https://t.co/5hY025Lz4l 読もうな

6 0 0 0 OA 非可述性の分析としての証明論(<特集>あたらしい数理論理学の揺籃:証明論的な順序数と集合論的な順序数)

@ukyo_sz あと秋吉先生とかはΩ-ruleの手法を用いる方法で拡張しようと考えているらしいですね https://t.co/7uiuOPBLrw

9 0 0 0 A Remark on a Comprehension Axiom without Negation

RT @tadamago: φ(x) に∀,∃があってもスコーレムの予想が正しいことを私が証明して発表したのが，わずか2ページの論文 https://t.co/nuvMioWRTu https://t.co/vIaROfXUyj しかしスコーレム自身も同じことをほぼ同じ時期に…

2 0 0 0 OA Rosser可証性述語について

@midoritetori Unfortunately, I only know paper in Japanese. However, you may know something if you refer to this paper's reference. https://t.co/otyXHQD5rs

1 0 0 0 IR 中間述語論理CDについて (算術体系の証明論--RIMS共同研究報告集)

@7danmoroboshi この論文自体はhttps://t.co/nv4k8Y2rZE で、引用されている酷い論文は https://t.co/OrfupIXzHU です

28 0 0 0 OA 不完全性定理はなぜ意外だったのか

RT @georg_logic: 不完全性定理が数学基礎論の各プログラムに与えた影響について，手短にかつ精緻に論じた論文．飯田隆，「不完全性定理はなぜ意外だったのか」（『科学基礎論研究』）https://t.co/M6DkxiiyXo

2 0 0 0 OA 竹内の基本予想について

@wakatsuki_moe @N_Y_Big_Apple @takum97 この文献もどうぞ。新井先生はこれでは面白くないので解決ではないみたいな立場をとってますが。 https://t.co/Yd50NAmJ3e

2 0 0 0 OA 竹内の基本予想について

RT @PhlebotomeH: @Alwe_Alwe @Pechod_dynol ごめんなさい、「何であるべきか」じゃなくて「竹内の基本予想について」の方でした、、勘違い済みません。https://t.co/mU3rHIWU4B p.333(12/16)辺りです。一連のTwは…

5 0 0 0 OA 選列と論理 I : 直観主義解析学における連続性原理

RT @takum97: @Alwe_Alwe https://t.co/Tcviph0nHl が一番読みやすいかもね

お気に入り一覧（最新100件）

66 0 0 0 OA 形式言語理論:非可換と可換のあいだ

昨年末に「応用数理」に投稿した解説論文 「形式言語理論：非可換と可換のあいだ」 が J-STAGE 上で読めるようになりました． 形式言語理論特有の難しさや面白さを説明させてもらいました． 「応用」を意識して自然言語っぽい話もいくつか話題に取り入れてみました． https://t.co/B4PKRNZb6p https://t.co/qc71Z2O43m

6 0 0 0 OA 非可述性の分析としての証明論(<特集>あたらしい数理論理学の揺籃:証明論的な順序数と集合論的な順序数)

そうそう，意外だったのは，『科学基礎論研究』に書いた「非可述性の分析としての証明論」について海外の研究者から聞かれたことが何度かあること．日本語で書いてあったとしても，論文の存在に気づいてくれれば内容に興味を持ってくれることはあるんだな，と思った．https://t.co/w29uqLMiuR

282 0 0 0 OA オートマトン理論再考

色々イベントがなくなり学生さん達も退屈されていると思います．が、こういうときは本とか論文とか読みあさるいい機会です． たとえばJ-STAGEでは様々な日本語文献が公開されていて読み放題です．　 どうもこの「オートマトン理論再考」という論文が人気なようですね． https://t.co/YTHDDa010k https://t.co/h6HTG5T7qh

9 0 0 0 A Remark on a Comprehension Axiom without Negation

φ(x) に∀,∃があってもスコーレムの予想が正しいことを私が証明して発表したのが，わずか2ページの論文 https://t.co/nuvMioWRTu https://t.co/vIaROfXUyj しかしスコーレム自身も同じことをほぼ同じ時期に証明していたことを後に知った．[以上]

5 0 0 0 OA 『科学基礎論研究』に見られる「形式主義観」(<特集>「数学と論理学の60年」)

ちなみに，こうした竹内の書いたものについては八杉先生の「『科学基礎論研究』に見られる「形式主義観」」（『科学基礎論研究』，2016年，https://t.co/wgcLhTXQrk）も参考になりました．

4 0 0 0 OA 形式主義の立場から I

竹内は色々書いているんだけど，初期のこれは印象に残る．「決して，文字通りの意味の`無矛盾性'を 問題にしている訳ではない．`集合概念'の解明こそ形式主義の総てであると私は思う」（「形式主義の立場から I」，『化学基礎論研究』，1956年．https://t.co/6Ard58fOxW）

1 0 0 0 OA ゲルマン古代の地理学的諸相

https://t.co/xaoHi7SKKU Geographical Aspects of Germans Land of old Times

282 0 0 0 OA オートマトン理論再考

“オートマトン理論はコンピュータサイエンス(CS)の基礎づけに大いに貢献しており，その意味でCSにおける線形代数と言っても過言ではないのかもしれない．実はこれは単なる比喩的な標語ではなく，技術的に， オートマトン理論と線形代数を強く結びつけることができる．” https://t.co/YTHDDa010k

282 0 0 0 OA オートマトン理論再考

オートマトン理論再考，しばらくランキングチェックしてなかったんだけどまた盛り返してた(3月の1位)

28 0 0 0 OA 不完全性定理はなぜ意外だったのか

不完全性定理が数学基礎論の各プログラムに与えた影響について，手短にかつ精緻に論じた論文．飯田隆，「不完全性定理はなぜ意外だったのか」（『科学基礎論研究』）https://t.co/M6DkxiiyXo

2 0 0 0 OA 竹内の基本予想について

@Alwe_Alwe @Pechod_dynol ごめんなさい、「何であるべきか」じゃなくて「竹内の基本予想について」の方でした、、勘違い済みません。https://t.co/mU3rHIWU4B p.333(12/16)辺りです。一連のTwは寧ろGirardの結果は有限の立場上の結果じゃないんですか？という私からの素人質問だと思って下さると幸甚です。

1 0 0 0 OA 新井敏康:数学基礎論——Mathematical Logic——,岩波書店,2011年,536ページ.

「書評 坪井 明人 -- 新井敏康：数学基礎論——Mathematical Logic——，岩波書店，2011年，536ページ．」 https://t.co/jknxf4w9kA 坪井先生の書評あったのか．

11 0 0 0 OA 時空構造とDirac場について : スピノル束とスピノル場

どうやら私が知りたいことがこの資料に書かれているようだ！ と言っても、読むのにかなりの困難を感じる。 自分が親しんで来た四元数や時空代数の言葉に翻訳しながら解読しないと歯が立たないと思われる… 時空構造とDirac場について : スピノル束とスピノル場 https://t.co/qeGOl4Fujk

フォロー（2626ユーザ）の投稿一覧（直近7日間）

フォロワー（2946ユーザ）の投稿一覧（直近7日間）