Ceek.jp Altmetrics (α ver.)
  1. ホーム
  2. Twitter
  3. ふくだ

ふくだ (@yf0fyf)

投稿一覧（最新100件）

2 0 0 0 OA 第2不完全性定理の内容的解釈

@ranha 「consistencyに関する命題」というクラスをちゃんと定めるのが難しそう……　一応，前原先生によるこういう論文があります → https://t.co/4Doh8T0fxG

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

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

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

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

503 0 0 0 OA (情報系)博士課程進学とその先

RT @sinya8282: 『（情報系）博士課程進学とその先 』 https://t.co/8ZvVtcTexR

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

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

9 0 0 0 OA フレーゲの計算機科学への影響

佐藤先生の方はネットで読めるっぽい https://t.co/b31zo3RTDp

2 0 0 0 OA 第2不完全性定理の内容的解釈

ところで前に菊池先生に教えてもらったんですが，前原先生の『第2不完全性定理の内容的解釈』( https://t.co/4Doh8SI6jy )は面白いのでオススメ

4 0 0 0 OA フッサール初期の「哲学的―数学的諸研究の終結テーマ」とゲッチンゲン学派の論理哲学

RT @georg_logic: @yf0fyf ヒルベルト学派との交流は知られていて，岡田先生の論文があります．https://t.co/oTeculLTjV

93 0 0 0 OA 対立を用いた法的知識の整合性検証

RT @__tai2__: 法令は形式言語で記述して欲しいみたいな放談をslackでしてたら、法令工学って名前で実際に研究されてると教えてもらった。ほほー。 https://t.co/y0Hdg5Fdnz https://t.co/BXQx89oTIU

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

1 0 0 0 英数字列をひとまとまりとして扱うデータ圧縮について

でもこういう日本語論文にも言及してるのはすごいな https://t.co/uXX0vsV0XU

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

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

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

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

4 0 0 0 OA フッサール初期の「哲学的―数学的諸研究の終結テーマ」とゲッチンゲン学派の論理哲学

@yf0fyf ヒルベルト学派との交流は知られていて，岡田先生の論文があります．https://t.co/oTeculLTjV

9 0 0 0 IR Frege的論理と非Frege的論理

やっぱり面白い。 CiNii 論文 -  Frege的論理と非Frege的論理 https://t.co/hjGqMeGgwf #CiNii

5 0 0 0 OA 意味論の証明論的転回

@ytb_at_twt 予稿集はこちら（→）です。 https://t.co/8svKjTs1TY

2 0 0 0 A General Theory of Completeness Proofs

S. Maehara : 'A general theory of completeness proofs.' (1970) https://t.co/7tJ9MZctMq

2 0 0 0 A General Theory of Completeness Proofs

S. Maehara : 'A general theory of completeness proofs.' (1970) https://t.co/7tJ9MZctMq

2 0 0 0 OA 言語とω言語

高橋正子先生の解説だ．Variety とか star-free の話もしてる． 「言語とω言語」 https://t.co/NJx6S07HIS

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

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