- 1 名前：１３２人目の素数さん mailto:sage [2012/01/02(月) 23:04:29.50 ]
- 数学基礎論は、素朴集合論における逆理の解消などを一つの動機として、
19世紀末から20世紀半ばにかけて生まれ、発展した数学の一分野です。
現在では、証明論、再帰的関数論、構成的数学、モデル理論、公理的集合論など、
多くの分野に分かれ、極めて高度な純粋数学として発展を続けています。
（「数学基礎論」という言葉の使い方には、専門家でも若干の個人差があるようです。）
応用、ないし交流のある分野は、計算機科学の諸分野や、代数幾何学、
英米系哲学の一部などを含み、多岐にわたります。
（数学セミナー98年6月号、「数学基礎論の学び方」
ttp://www.math.tohoku.ac.jp/~tanaka/intro.html
或いは 岩波文庫「不完全性定理」 6.4 数学基礎論の数学化 などを参照）
従ってこのスレでは、基礎的な数学の質問はスレ違いとなります。
他のスレで御質問なさるようにお願いします。
前スレ
数学基礎論・数理論理学 その10
uni.2ch.net/test/read.cgi/math/1319895756/
- 569 名前：１３２人目の素数さん mailto:sage [2012/02/07(火) 03:00:59.43 ]
- >>562
＞プログラマの人は勝手に変な言葉をあやふやに定義して、形式的に定義された言葉で
＞みんな知っている、という意味不明な前提を持ち出すから話が成立しない。
変な言葉といえば、ポインタで使われる「指す」という用語の
明示的な定義を未だに見たことが無い。
int a = 0;
int *p = &a;
この場合、「pはaを指す」のか「pはaのアドレスを指す」のか？
ネットを徘徊すると、どっちの使われ方も見かける。
だが、前者の方がより多く使われているように見える。
また、経験上、前者の方がより "正しい" ように思える。
しかし、結局のところ、「指す」の明示的な定義は知らない。
一方で、「代入する」という用語には明示的な定義が用意されていることが多い。
この差は何なのか？
- 570 名前：１３２人目の素数さん mailto:sage [2012/02/07(火) 03:30:24.08 ]
- >>569
アドレスを指すというのはもともとは誤用であろう（意味は伝わるが）
アドレスそのものはどこにも無いので指せない。（アドレスが示すメモリはある）
ポインタが指すのはメモリであってアドレスではない。
しかしアドレスというのは住所である。
住所は、実際には土地（場所）を指しているのだが
その土地を住所で代表し、「住所」宛の手紙と言うのと同じ。
つまり、「aを指す」と「aのアドレスを指す」は同じ意味であり
どちらが正しいというものではない。
- 571 名前：１３２人目の素数さん mailto:sage [2012/02/07(火) 03:42:49.95 ]
- そもそも 「指す」てのはスラングだわな、だから定義なんかされてない
ポインタがアドレスを保持することを「指す」と言ってるだけで
cそのものの動作に「指す」なんてないわな。
- 572 名前：１３２人目の素数さん mailto:sage [2012/02/07(火) 05:11:52.83 ]
- >>570
＞ポインタが指すのはメモリであってアドレスではない。
ところがどっこい、どこかのポインタスレにおいて、
「ポインタが指すのはメモリではなくオブジェクトである。これが分からん奴は半人前だ(ｷﾘｯ」
などと主張する輩がいた。あなたとは正反対の主張だ。
また、>>571によれば「ただのスラング」だそうだ。
これは、あなたの主張とも上記の輩とも違う主張だ。
やはり「指す」は変な用語である。人によって全く見解が違う。
プログラミング業界は、なぜ、「代入する」のように明示的な定義を
早い段階で用意しておかなかったのか？この差は何なのか？
仮に「スラング」が正しいにしても、それならそれで
「指すという用語はスラングである」
という "明示的な定義" が必要である。しかし、このような
定義は広く一般に普及しているとは言い難い。
- 573 名前：１３２人目の素数さん mailto:sage [2012/02/07(火) 05:17:35.35 ]
- 連投失礼。ちょっと訂正する。
× などと主張する輩がいた。あなたとは正反対の主張だ。
○ などと主張する輩がいた。あなたとは異なる主張だ。
- 574 名前：１３２人目の素数さん mailto:sage [2012/02/07(火) 05:36:09.16 ]
- 世の中にはソフトリンクもハードリンクもあるのだが
- 575 名前：１３２人目の素数さん mailto:sage [2012/02/07(火) 06:03:05.41 ]
- >>572
そういうのを人の褌で相撲を取る、というのだ。
誰かの主張を引用するのなら引用元を明示するべきだろう、
でなければ本当にそういう主張がなされたのか、単なる君の誤解なのか確認するすべがない。
そもそも他人の主張を根拠に何かを批判するのならば、
自分もその主張に賛同する旨を明言するべき。
さもなくば、相手が反論しても「それ、俺の主張じゃないし」と言うのと同じ。
学問的な議論をする際の最低限のルールすら身につけていなかったようだから、
以後気をつけるよーに！
- 576 名前：１３２人目の素数さん mailto:sage [2012/02/07(火) 06:18:34.13 ]
- >>572
オブジェクトを指すってのはまたずいぶん抽象的な話だな。
オブジェクトはメモリにのっている。なにも異なる主張ではない。
でなけりゃ void * は何を指しているんだ？
そして「指す」はスラングだと言うのにも矛盾しない。
＞ 「指すという用語はスラングである」
＞ という "明示的な定義" が必要である。
なんで？ そんなもんいらんだろ。
「指す」という語は日本語であるという明示的な定義がなくても
みなが問題なく使用しているように。
|
 |
