13/11/27 11:40:40.79
>>502
いま狸氏（狢氏OR猫氏）と名乗る大事なゲストが来ているんでFAQはあとでね
■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□
□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■
■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□
□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■
■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□
□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■
■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■☆■□■□■□■□■□■□■□■□
□■□■□■□■□■□■□■□■☆■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■
■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□
□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■
■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□
□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■
あれ？そのままコピペじゃそろいませんね
お早う御座います（～～）
507:１３２人目の素数さん
13/11/27 18:56:35.90
>>502
自己解決しました。
508:狸 ◆2VB8wsVUoo
13/11/27 22:28:13.81
狸
■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□
□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■
■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□
□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■
■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□
□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■
■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□
□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■
■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□
□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■
■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□
□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■
509:１３２人目の素数さん
13/11/28 02:57:41.44
電車で種付け
510:狸 ◆2VB8wsVUoo
13/11/28 07:14:10.04
狸
■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□
□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■
■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□
□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■
■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□
□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■
■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□
□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■
■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□
□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■
■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□
□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■
511:427人目の素数さん
13/11/28 07:40:45.10
<p> </p>
<p>
<meta http-equiv="Content-Type" content="text/html; charset=UTF-8" />
<meta name="generator" content="URLﾘﾝｸ(www.nongnu.org) /><meta name="create-date" content="2013-11-27" />
</p>
<p>
<link rel="stylesheet" href="URLﾘﾝｸ(elyxer.nongnu.org) type="text/css" media="all" />
</p>
<p>
<title>Converted document</title>
</p>
<div id="globalWrapper">
<div class="Unindented">■□
後半部分は次の書き込みで
512:427人目の素数さん
13/11/28 07:45:19.00
□■</div>
<hr class="footer" />
<div id="generated-by" class="footer">
Document generated by
<a href="URLﾘﾝｸ(elyxer.nongnu.org)
eLyXer 1.2.3 (2011-08-31)
</a>
on
<span class="create-date">2013-11-27T15:40:38.706294</span>
</div>
</div>
後半その二をさらに次の書き込みで
513:427人目の素数さん
13/11/28 07:50:08.32
<footer class="entry-footer">
<p class="entry-footer-section">
<span class="author vcard">
<span class="fn">
PbdP
</span>
</span>
<span class="entry-footer-time">
<a href="URLﾘﾝｸ(pbdp.hatenablog.jp)
<time data-relative datetime="2013-11-27T07:09:27Z"
title="2013-11-27T07:09:27Z" pubdate class="updated">
2013-11-27 16:09</time>
</a></span>
</p>
<div class="hatena-star-container">
</div>
<!-- Google AFC -->
<div id="google_afc_user" class="section ">
<a href="URLﾘﾝｸ(blog.hatena.ne.jp) class="open-pro-modal" data-guide-pro-modal-ad-url="URLﾘﾝｸ(hatenablog.com)
<img src="URLﾘﾝｸ(hatenablog.com) class="ad-close"></a>
<div id="google_afc_user_container" class="google_afc_blocklink2_5 google_afc_boder"></div>
</div>
<div class="customized-footer">
</div>
</footer>
</div>
</article>
514:１３２人目の素数さん
13/12/23 10:39:09.40
糞論
515:427人目の素数さん
13/12/23 12:06:16.01
お 人が来るのひさしぶりだな
>>514殿
□学くそろん∝□リろんリ学 ⇔ リ ∽ ■
を所与としたとき ■ ∽ （＿）
どだあ Q:: （ ）の中身を満たすJIS第一水準のUTF-8コード
を全て列挙せよ
のA:: カキコできるけー（～～）
516:１３２人目の素数さん
13/12/23 17:19:41.00
揚げ
517:１３２人目の素数さん
13/12/24 00:04:47.84
1
2
3
4
5
6
7
8
9
0
1
2
3
4
5
6
7
8
9
0
518:１３２人目の素数さん
13/12/24 00:19:12.07
a
b
c
d
e
f
g
h
i
j
k
l
m
n
o
p
q
r
s
t
519:427人目の素数さん
13/12/24 09:16:24.16
S.E.♪ぶーーーーーーーーー♪
正解は▼
<--◎ｽﾚﾘﾝｸ(math板)
「増田哲也→猫◆→狢◆→狸」ってスレだよーん
520:１３２人目の素数さん
13/12/24 09:59:45.22
α
β
γ
δ
ε
ζ
η
θ
ι
κ
λ
μ
ξ
ο
π
ρ
σ
τ
υ
ψ
521:１３２人目の素数さん
14/01/11 14:30:33.80
数理論理学の「順序数」がよく分かりません
ご教授お願いします
522:留守人目の素数さん
14/01/12 19:25:44.57
数学基礎論・数理論理学 その14
ｽﾚﾘﾝｸ(math板)
のほうが本スレ
ここはダミーですんで誰も答えてくれんと思います
せっかく来てくれたのに御免ねー（～～）
523:１３２人目の素数さん
14/01/31 15:43:44.81
>>493
＞なぜか野矢茂樹のことは批判しないね
君が知らないだけじゃね？
ま、鴨に限らず、ワカランチン叩きって全くのムダだけどね
あの人は人生終ってるから余生を全て暇つぶしに使うんでしょ
524:１３２人目の素数さん
14/01/31 19:28:15.87
あの人は基本的に数学的な間違い、
論理学的な間違い以外はそんなに批判しないと思うけど。
歴史的な間違いがあるという訳でもないし。
「数学的にはナンセンス」かもしれないけど、そう言われても
たぶん野矢はそれはそうです、この本は数学の本じゃありません、と答えるんだろうし。
黒木玄の「竹内外史以後の仕事に触れない本はまともな哲学の本じゃない」
みたいな発言もそれに負けず劣らずアレだからなあ、
525:留守人目の素数さん
14/02/02 11:36:19.77
URLﾘﾝｸ(www.math.tohoku.ac.jp)
面白いからどんどん推奨（～～）
♪やー 玄木黒って ほんとーに凄いっすねー♪
526:769
14/03/06 10:46:26.09
数学序説 (ちくま学芸文庫)
吉田 洋一, 赤 攝也(著)
これのアマゾンのレビューに、
ただ、本書の元版の初版が出てから60年近く経ていますので、この間に発展した数学観は反映されていません。
特に集合論、数学基礎論の発展は目覚ましいものがありましたから、このあたりの最新事情は他の本で補う必要があるでしょう。
とありますが、「集合論・数学基礎論」のよい入門書があれば教えてください。
527:１３２人目の素数さん
14/03/06 15:40:33.75
「ゲーデルと20世紀の論理学」シリーズなら、数学的証明と、歴史解説の読み物的文章の両方が載ってる
528:１３２人目の素数さん
14/03/06 19:07:21.05
>>527「ゲーデルと20世紀の論理学」(田中 一之) って全4巻ですか？
529:留守人目の素数さん
14/03/06 19:54:02.46
>>526
第４巻第2章の淵野晶先生「公理的集合論の展開」が出版前の
pdfでうpされてるから参考までに見てみたら？
買うにしても第４巻のみでおkだと思う
URLﾘﾝｸ(kurt.scitec.kobe-u.ac.jp)
530:１３２人目の素数さん
14/05/02 13:04:11.89
すみません、ちょっと質問です。
原始再帰関数と整論理式（開論理式）の関係を調べているのですが、
何か良い本はありませんでしょうか？
（できれば日本語で）
531:１３２人目の素数さん
14/05/02 20:59:29.47
「原始再帰関数と整論理式（開論理式）の関係」じゃ
大雑把過ぎて何を調べたいのか分からない
532:530
14/05/03 00:12:43.91
>531
原始再帰関数と開論理式で表されるブール関数が同型かどうかを調べています。
多分同型だと思うのですが、どうやって証明したら良いか思い付かないので
参考書を探しています。
533:530
14/05/03 02:16:27.36
>532をちょっと修正します。
原始再帰関数(PR)と開論理式のブール関数(WFF)が計算複雑性の観点から
同じ複雑性クラスであることを調べたいと考えています。
思い付く範囲では、
PR＞WFF: PR⊃WFFのため自明
PR＜WFF
定数関数、後者関数、射影関数、合成、原始再帰、を模倣する論理式を
(PRの規模の対数領域に限定した)TMで構成可能
からPR=WFFになると考えています。
ただ、こんな証明で良いのかちょっとピンと来ないので、何か参考になるものがあれば、
と考えています。
534:１３２人目の素数さん
14/05/03 18:14:05.65
去年の今頃の話。
新井「数学基礎論」は京都大学の各図書館・図書室に何冊か所蔵されており、
所蔵検索したところ一冊を除き全て貸し出し中であった。
その一冊を所蔵していたのは理学部数学教室図書室だった。
535:１３２人目の素数さん
14/05/03 18:35:37.81
⇧
何をいいたいのか、分からんでもないが
536:534
14/05/03 18:50:53.71
なんか、象徴的だなと思って。
537:１３２人目の素数さん
14/05/03 19:29:03.47
まあ、数学関係者なら欲しい数学の本は買うだろうからなぁ。
購入予算も付くだろうし。
538:１３２人目の素数さん
14/05/03 22:33:19.50
今検索したら、東大は駒場図書館、数理図書室、本郷総合図書館に
一冊ずつあって貸出しは無し、京大は全部で五冊あって
理学部数学科のみ貸出中となっている。ちょっと深読みし過ぎじゃないの？
あとあの本は実は、図書館に置いてるような
第一刷は勘違いや技術的ミスが割と多くて図書館で借りて読むのはお勧めしな…（ｹﾞﾌﾝｹﾞﾌﾝ
最近の第四刷とかだとかなり修正されてるけどね。
それに理学部じゃないが京大数理研は照井先生が居る。
非古典論理だからちょっと毛色が違うが
文学部哲学科出身の准教授を採用するのはkurimsの視野が相当広いことの表れだと思う。
京大にロジック専攻の教員は大勢は居ないけど、集合論とかは
比較的近くの神戸大が強過ぎるので、昔から京大でロジックをやろうとした人は、
神戸大とかに行って勉強したりしてたみたいだよ。
539:１３２人目の素数さん
14/05/03 22:41:43.70
因みに東大だとロジックの本は、分野にも依るけど
数理科学科よりも情報理工学科の理学部７号館
（コンピュータ科学）図書室の方が揃ってたりする。