探検

数学基礎論・数理論理学　その18 [無断転載禁止]©2ch.net

レス数が950を超えています。1000を超えると書き込みができなくなります。
1１３２人目の素数さん
垢版 |
2016/09/20(火) 16:45:43.11ID:rqV1hckS
数学基礎論は、素朴集合論における逆理の解消などを一つの動機として、
19世紀末から20世紀半ばにかけて生まれ、発展した数学の一分野です。
現在では、証明論、再帰的関数論、構成的数学、モデル理論、公理的集合論など、
多くの分野に分かれ、極めて高度な純粋数学として発展を続けています。
（「数学基礎論」という言葉の使い方には、専門家でも若干の個人差があるようです。）
応用、ないし交流のある分野は、計算機科学の諸分野や、代数幾何学、
英米系哲学の一部などを含み、多岐にわたります。
（数学セミナー98年6月号、「数学基礎論の学び方」
ttp://www.math.tohoku.ac.jp/~tanaka/intro.html
或いは 岩波文庫「不完全性定理」 6.4 数学基礎論の数学化 などを参照）

従ってこのスレでは、基礎的な数学の質問はスレ違いとなります。
他のスレで御質問なさるようにお願いします。

前スレ
数学基礎論・数理論理学　その17
http://rio2016.2ch.net/test/read.cgi/math/1472553838/
894１３２人目の素数さん
垢版 |
2016/10/07(金) 20:55:44.31ID:h3oew2pG
デデキント切断を排中律に読みかえた基礎論者息してる〜ｗ
895１３２人目の素数さん
垢版 |
2016/10/07(金) 20:57:43.24ID:FBHK09l/
>>777
生きてる意味ないねお前

http://planetmath.org/russellstheoryoftypes
http://i.imgur.com/T0r8UKU.jpg

赤線部と全く同じ事をブルバキでは集合族によって実現してるんだよwwwww

これを知らなかった奴は今まで基礎論の知識が0だったと言って良い
この赤線部こそが詭弁術・修辞学と現代論理学を分ける分水嶺であるというのに知らなかったなんてwwwww
2016/10/07(金) 21:04:52.08ID:ot156Bwi
悪ノリ乙
2016/10/07(金) 21:40:53.29ID:B4MByIXy
なんで基礎論の人は煽り屋が多いの
2016/10/07(金) 21:41:35.06ID:MFZm7jki
馬鹿板遊びはもうヤメレ。頭の悪い奴が跋扈したらアカンやろ。東京都庁
みたいにナルぞ。

￥
2016/10/07(金) 22:14:36.58ID:MFZm7jki
￥
2016/10/07(金) 22:14:52.92ID:MFZm7jki
￥
2016/10/07(金) 22:15:09.10ID:MFZm7jki
￥
2016/10/07(金) 22:15:24.87ID:MFZm7jki
￥
2016/10/07(金) 22:15:40.32ID:MFZm7jki
￥
2016/10/07(金) 22:16:15.14ID:MFZm7jki
￥
2016/10/07(金) 22:16:30.18ID:MFZm7jki
￥
2016/10/07(金) 22:16:45.68ID:MFZm7jki
￥
2016/10/07(金) 22:17:03.41ID:MFZm7jki
￥
2016/10/07(金) 22:17:20.99ID:MFZm7jki
￥
909１３２人目の素数さん
垢版 |
2016/10/07(金) 22:36:02.18ID:FBHK09l/
>>777
生きてる意味ないねお前

http://planetmath.org/russellstheoryoftypes
http://i.imgur.com/T0r8UKU.jpg

赤線部と全く同じ事をブルバキでは集合族によって実現してるんだよwwwww

これを知らなかった奴は今まで基礎論の知識が0だったと言って良い
この赤線部こそが詭弁術・修辞学と現代論理学を分ける分水嶺であるというのに知らなかったなんてwwwww
2016/10/07(金) 22:38:26.80ID:MFZm7jki
馬鹿板遊びはもうヤメレ。頭の悪い奴が跋扈したらアカンやろ。東京都庁
みたいにナルぞ。

￥
2016/10/07(金) 23:41:28.88ID:MFZm7jki
早よ炎上せえやナ。

￥
2016/10/08(土) 00:01:11.40ID:tA6BJFvJ
￥
2016/10/08(土) 00:01:26.70ID:tA6BJFvJ
￥
2016/10/08(土) 00:01:42.41ID:tA6BJFvJ
￥
2016/10/08(土) 00:01:58.77ID:tA6BJFvJ
￥
2016/10/08(土) 00:02:12.95ID:tA6BJFvJ
￥
2016/10/08(土) 00:02:47.96ID:tA6BJFvJ
￥
2016/10/08(土) 00:03:03.69ID:tA6BJFvJ
￥
2016/10/08(土) 00:03:18.98ID:tA6BJFvJ
￥
2016/10/08(土) 00:03:35.26ID:tA6BJFvJ
￥
2016/10/08(土) 00:03:51.80ID:tA6BJFvJ
￥
2016/10/08(土) 00:05:28.97ID:08ZQnIey
基地外なんて煽るくらいしか相手の仕様が無い。
2016/10/08(土) 00:08:46.02ID:tA6BJFvJ
馬鹿板遊びはもうヤメレ。頭の悪い奴が跋扈したらアカンやろ。東京都庁
みたいにナルぞ。

￥
924１３２人目の素数さん
垢版 |
2016/10/08(土) 00:13:30.83ID:4jqLbWUl
>>777
生きてる意味ないねお前

http://planetmath.org/russellstheoryoftypes
http://i.imgur.com/T0r8UKU.jpg

赤線部と全く同じ事をブルバキでは集合族によって実現してるんだよwwwww

これを知らなかった奴は今まで基礎論の知識が0だったと言って良い
この赤線部こそが詭弁術・修辞学と現代論理学を分ける分水嶺であるというのに知らなかったなんてwwwww
2016/10/08(土) 00:23:02.26ID:ZQ/H4cSy
中国人　周 豪属（シュウ・ゴウゾク）
2016/10/08(土) 06:24:04.16ID:tA6BJFvJ
馬鹿板遊びはもうヤメレ。頭の悪い奴が跋扈したらアカンやろ。東京都庁
みたいにナルぞ。

￥
2016/10/08(土) 06:38:55.58ID:tA6BJFvJ
￥
2016/10/08(土) 06:39:16.69ID:tA6BJFvJ
￥
2016/10/08(土) 06:39:32.01ID:tA6BJFvJ
￥
2016/10/08(土) 06:39:47.71ID:tA6BJFvJ
￥
2016/10/08(土) 06:40:04.58ID:tA6BJFvJ
￥
2016/10/08(土) 06:40:19.98ID:tA6BJFvJ
￥
2016/10/08(土) 06:40:36.68ID:tA6BJFvJ
￥
2016/10/08(土) 06:40:55.15ID:tA6BJFvJ
￥
2016/10/08(土) 06:41:10.18ID:tA6BJFvJ
￥
2016/10/08(土) 06:41:30.30ID:tA6BJFvJ
￥
2016/10/08(土) 06:47:59.23ID:ZQ/H4cSy
矛盾が発生してるのに決定不能と強弁し、決定不能→存在は可能と主張しているのかw
ついったーでも変なこと言ってるしな
2016/10/08(土) 06:50:30.72ID:tA6BJFvJ
￥
2016/10/08(土) 06:57:41.12ID:tA6BJFvJ
￥
2016/10/08(土) 06:59:23.12ID:tA6BJFvJ
￥
2016/10/08(土) 07:00:57.99ID:tA6BJFvJ
￥
2016/10/08(土) 07:02:31.40ID:tA6BJFvJ
￥
2016/10/08(土) 07:05:39.29ID:tA6BJFvJ
￥
2016/10/08(土) 07:06:45.68ID:tA6BJFvJ
￥
2016/10/08(土) 07:08:42.37ID:tA6BJFvJ
￥
2016/10/08(土) 07:09:33.71ID:tA6BJFvJ
￥
2016/10/08(土) 07:10:40.52ID:tA6BJFvJ
￥
948１３２人目の素数さん
垢版 |
2016/10/08(土) 11:21:42.48ID:4jqLbWUl
>>777
生きてる意味ないねお前

http://planetmath.org/russellstheoryoftypes
http://i.imgur.com/T0r8UKU.jpg

赤線部と全く同じ事をブルバキでは集合族によって実現してるんだよwwwww

これを知らなかった奴は今まで基礎論の知識が0だったと言って良い
この赤線部こそが詭弁術・修辞学と現代論理学を分ける分水嶺であるというのに知らなかったなんてwwwww
949１３２人目の素数さん
垢版 |
2016/10/08(土) 11:22:21.73ID:4jqLbWUl
>>518
∀P(x)じゃなくて∃P(x)ならばラッセル集合を認めないPを選べば内包公理からはラッセル集合が導かれない事になるだろwwwwwwww
自分が何を主張してるのかすら記憶保持出来ないのが猿の脳だよなwwwwwwwwwwwwwwww

論文貼られて論破されて反論出来ずにソース無しの妄言とかwwwwww

息してるかー？低学歴

http://www.mbph.de/Logic/BLVAndCT.pdf
http://i.imgur.com/wDJfRnP.jpg
2016/10/08(土) 12:00:54.85ID:tA6BJFvJ
￥

>347 名前：１３２人目の素数さん ：2016/09/22(木) 01:38:42.56 ID:CSzeBKOI
> 337 名前：あぼ〜ん[NGName:￥ </b>◆2VB8wsVUoo <b>] 投稿日：あぼ〜ん
>
> 338 名前：あぼ〜ん[NGName:￥ </b>◆2VB8wsVUoo <b>] 投稿日：あぼ〜ん
>
> 339 名前：あぼ〜ん[NGName:￥ </b>◆2VB8wsVUoo <b>] 投稿日：あぼ〜ん
>
> 340 名前：あぼ〜ん[NGName:￥ </b>◆2VB8wsVUoo <b>] 投稿日：あぼ〜ん
>
> 341 名前：あぼ〜ん[NGName:￥ </b>◆2VB8wsVUoo <b>] 投稿日：あぼ〜ん
>
> 342 名前：あぼ〜ん[NGName:￥ </b>◆2VB8wsVUoo <b>] 投稿日：あぼ〜ん
>
> 343 名前：あぼ〜ん[NGName:￥ </b>◆2VB8wsVUoo <b>] 投稿日：あぼ〜ん
>
> 344 名前：あぼ〜ん[NGName:￥ </b>◆2VB8wsVUoo <b>] 投稿日：あぼ〜ん
>
> 345 名前：あぼ〜ん[NGName:￥ </b>◆2VB8wsVUoo <b>] 投稿日：あぼ〜ん
>
> 346 名前：あぼ〜ん[NGName:￥ </b>◆2VB8wsVUoo <b>] 投稿日：あぼ〜ん
>
951１３２人目の素数さん
垢版 |
2016/10/08(土) 12:12:39.09ID:4jqLbWUl
>>518
∀P(x)じゃなくて∃P(x)ならばラッセル集合を認めないPを選べば内包公理からはラッセル集合が導かれない事になるだろwwwwwwww
自分が何を主張してるのかすら記憶保持出来ないのが猿の脳だよなwwwwwwwwwwwwwwww

論文貼られて論破されて反論出来ずにソース無しの妄言とかwwwwww

息してるかー？低学歴

http://www.mbph.de/Logic/BLVAndCT.pdf
http://i.imgur.com/wDJfRnP.jpg


>>777
生きてる意味ないねお前

http://planetmath.org/russellstheoryoftypes
http://i.imgur.com/T0r8UKU.jpg

赤線部と全く同じ事をブルバキでは集合族によって実現してるんだよwwwww

これを知らなかった奴は今まで基礎論の知識が0だったと言って良い
この赤線部こそが詭弁術・修辞学と現代論理学を分ける分水嶺であるというのに知らなかったなんてwwwww
2016/10/08(土) 12:48:31.23ID:tA6BJFvJ
￥
2016/10/08(土) 12:48:46.32ID:tA6BJFvJ
￥
2016/10/08(土) 12:49:15.87ID:tA6BJFvJ
￥
2016/10/08(土) 12:49:31.04ID:tA6BJFvJ
￥
2016/10/08(土) 12:49:47.15ID:tA6BJFvJ
￥
2016/10/08(土) 12:50:01.18ID:tA6BJFvJ
￥
2016/10/08(土) 12:50:34.46ID:tA6BJFvJ
￥
2016/10/08(土) 12:50:50.91ID:tA6BJFvJ
￥
2016/10/08(土) 12:51:07.07ID:tA6BJFvJ
￥
2016/10/08(土) 12:51:21.54ID:tA6BJFvJ
￥
962１３２人目の素数さん
垢版 |
2016/10/08(土) 13:01:13.55ID:4jqLbWUl
>>518
∀P(x)じゃなくて∃P(x)ならばラッセル集合を認めないPを選べば内包公理からはラッセル集合が導かれない事になるだろwwwwwwww
自分が何を主張してるのかすら記憶保持出来ないのが猿の脳だよなwwwwwwwwwwwwwwww

論文貼られて論破されて反論出来ずにソース無しの妄言とかwwwwww

息してるかー？低学歴

http://www.mbph.de/Logic/BLVAndCT.pdf
http://i.imgur.com/wDJfRnP.jpg


>>777
生きてる意味ないねお前

http://planetmath.org/russellstheoryoftypes
http://i.imgur.com/T0r8UKU.jpg

赤線部と全く同じ事をブルバキでは集合族によって実現してるんだよwwwww

これを知らなかった奴は今まで基礎論の知識が0だったと言って良い
この赤線部こそが詭弁術・修辞学と現代論理学を分ける分水嶺であるというのに知らなかったなんてwwwww
2016/10/08(土) 13:08:44.19ID:6Xcx46AE
>>890
詳しく
2016/10/08(土) 13:35:06.45ID:tA6BJFvJ
￥

>347 名前：１３２人目の素数さん ：2016/09/22(木) 01:38:42.56 ID:CSzeBKOI
> 337 名前：あぼ〜ん[NGName:￥ </b>◆2VB8wsVUoo <b>] 投稿日：あぼ〜ん
>
> 338 名前：あぼ〜ん[NGName:￥ </b>◆2VB8wsVUoo <b>] 投稿日：あぼ〜ん
>
> 339 名前：あぼ〜ん[NGName:￥ </b>◆2VB8wsVUoo <b>] 投稿日：あぼ〜ん
>
> 340 名前：あぼ〜ん[NGName:￥ </b>◆2VB8wsVUoo <b>] 投稿日：あぼ〜ん
>
> 341 名前：あぼ〜ん[NGName:￥ </b>◆2VB8wsVUoo <b>] 投稿日：あぼ〜ん
>
> 342 名前：あぼ〜ん[NGName:￥ </b>◆2VB8wsVUoo <b>] 投稿日：あぼ〜ん
>
> 343 名前：あぼ〜ん[NGName:￥ </b>◆2VB8wsVUoo <b>] 投稿日：あぼ〜ん
>
> 344 名前：あぼ〜ん[NGName:￥ </b>◆2VB8wsVUoo <b>] 投稿日：あぼ〜ん
>
> 345 名前：あぼ〜ん[NGName:￥ </b>◆2VB8wsVUoo <b>] 投稿日：あぼ〜ん
>
> 346 名前：あぼ〜ん[NGName:￥ </b>◆2VB8wsVUoo <b>] 投稿日：あぼ〜ん
>
2016/10/08(土) 13:45:37.45ID:tA6BJFvJ
￥
2016/10/08(土) 13:46:37.18ID:tA6BJFvJ
￥
2016/10/08(土) 13:48:28.05ID:tA6BJFvJ
￥
2016/10/08(土) 13:49:47.90ID:tA6BJFvJ
￥
2016/10/08(土) 13:51:01.86ID:tA6BJFvJ
￥
2016/10/08(土) 13:52:14.48ID:tA6BJFvJ
￥
2016/10/08(土) 13:54:50.08ID:tA6BJFvJ
￥
2016/10/08(土) 13:55:04.77ID:tA6BJFvJ
￥
2016/10/08(土) 13:55:22.59ID:tA6BJFvJ
￥
2016/10/08(土) 13:55:37.56ID:tA6BJFvJ
￥
975１３２人目の素数さん
垢版 |
2016/10/08(土) 13:56:06.48ID:4jqLbWUl
>>518
∀P(x)じゃなくて∃P(x)ならばラッセル集合を認めないPを選べば内包公理からはラッセル集合が導かれない事になるだろwwwwwwww
自分が何を主張してるのかすら記憶保持出来ないのが猿の脳だよなwwwwwwwwwwwwwwww

論文貼られて論破されて反論出来ずにソース無しの妄言とかwwwwww

息してるかー？低学歴

http://www.mbph.de/Logic/BLVAndCT.pdf
http://i.imgur.com/wDJfRnP.jpg


>>777
生きてる意味ないねお前

http://planetmath.org/russellstheoryoftypes
http://i.imgur.com/T0r8UKU.jpg

赤線部と全く同じ事をブルバキでは集合族によって実現してるんだよwwwww

これを知らなかった奴は今まで基礎論の知識が0だったと言って良い
この赤線部こそが詭弁術・修辞学と現代論理学を分ける分水嶺であるというのに知らなかったなんてwwwww
2016/10/08(土) 13:57:15.66ID:tA6BJFvJ
￥

>347 名前：１３２人目の素数さん ：2016/09/22(木) 01:38:42.56 ID:CSzeBKOI
> 337 名前：あぼ〜ん[NGName:￥ </b>◆2VB8wsVUoo <b>] 投稿日：あぼ〜ん
>
> 338 名前：あぼ〜ん[NGName:￥ </b>◆2VB8wsVUoo <b>] 投稿日：あぼ〜ん
>
> 339 名前：あぼ〜ん[NGName:￥ </b>◆2VB8wsVUoo <b>] 投稿日：あぼ〜ん
>
> 340 名前：あぼ〜ん[NGName:￥ </b>◆2VB8wsVUoo <b>] 投稿日：あぼ〜ん
>
> 341 名前：あぼ〜ん[NGName:￥ </b>◆2VB8wsVUoo <b>] 投稿日：あぼ〜ん
>
> 342 名前：あぼ〜ん[NGName:￥ </b>◆2VB8wsVUoo <b>] 投稿日：あぼ〜ん
>
> 343 名前：あぼ〜ん[NGName:￥ </b>◆2VB8wsVUoo <b>] 投稿日：あぼ〜ん
>
> 344 名前：あぼ〜ん[NGName:￥ </b>◆2VB8wsVUoo <b>] 投稿日：あぼ〜ん
>
> 345 名前：あぼ〜ん[NGName:￥ </b>◆2VB8wsVUoo <b>] 投稿日：あぼ〜ん
>
> 346 名前：あぼ〜ん[NGName:￥ </b>◆2VB8wsVUoo <b>] 投稿日：あぼ〜ん
>
977１３２人目の素数さん
垢版 |
2016/10/08(土) 13:59:38.56ID:4jqLbWUl
よっぽど悔しかったんやろうなあw
978１３２人目の素数さん
垢版 |
2016/10/08(土) 14:18:28.83ID:graqr2Md
数学基礎論
大定理　F5アタックについて
(証明)　 服を買いに行く服がない　□
2016/10/08(土) 15:40:47.27ID:tA6BJFvJ
￥
2016/10/08(土) 15:41:04.77ID:tA6BJFvJ
￥
2016/10/08(土) 15:41:21.66ID:tA6BJFvJ
￥
2016/10/08(土) 15:41:36.81ID:tA6BJFvJ
￥
2016/10/08(土) 15:41:53.74ID:tA6BJFvJ
￥
2016/10/08(土) 15:42:10.12ID:tA6BJFvJ
￥
2016/10/08(土) 15:42:26.29ID:tA6BJFvJ
￥
2016/10/08(土) 15:42:38.74ID:tA6BJFvJ
￥
2016/10/08(土) 15:43:01.69ID:tA6BJFvJ
￥
2016/10/08(土) 15:43:18.94ID:tA6BJFvJ
￥
2016/10/08(土) 15:45:57.61ID:tA6BJFvJ
￥
2016/10/08(土) 15:46:15.70ID:tA6BJFvJ
￥
2016/10/08(土) 15:51:14.29ID:tA6BJFvJ
￥
2016/10/08(土) 15:51:30.44ID:tA6BJFvJ
￥
2016/10/08(土) 15:51:45.01ID:tA6BJFvJ
￥
レス数が950を超えています。1000を超えると書き込みができなくなります。
ニューススポーツなんでも実況