[過去ログ] Inter-universal geometry と ABC予想 (応援スレ) 77 (1002レス)
1-

このスレッドは過去ログ倉庫に格納されています。
次スレ検索 歴削→次スレ 栞削→次スレ 過去ログメニュー
299: 現代数学の系譜 雑談 ◆yH25M02vWFhP 11/05(水)20:35 ID:BZV1IQOW(1/5) AAS
これいい (^^
外部リンク:mathlog.info
Mathlog 251030
あっとまーく
大学数学基礎
解説
公理的集合論はやらなくてもよい
この著者は初心者として投稿しています。間違いや考慮が足りていない点が含まれている可能性が高いです。見つけたらコメント欄で優しく指摘してあげましょう。
はじめに
非常にキャッチー(?)なタイトルをつけてしまったので初めに言っておくと,私は断じて「基礎論アンチ」ではありません.なんなら比較的好きで,楽しく勉強できるタイプです.
この記事は基礎論のネガティブキャンペーンではありません.
(そういった記事を期待されている方にとっては面白くない内容だと思います.)

実際,私は今年の夏休みのほぼすべてを公理的集合論の勉強に捧げました.
具体的にはZFC公理系を記述し,そこから集合演算,写像,数(自然数,整数,有理数,実数)の構成を行いました.
先日それがひと段落したのですが,実際やってみて
「別にやらなくてもよかったなぁ」
と,理由を持って思うことができました.
折角ですからその理由と,それに至った経緯を読み物として残しておこうと思います.

外部リンク:mathlog.info
Mathlog 2020年12月19日
めいぜんおーえす
大学数学基礎
議論
文献あり
ZFCの公理一覧と誤解しやすいポイント

はじめに
比較的軽度の誤解をしてる人向けです。

この記事ではZFCの公理一覧と誤解しやすいポイントについてまとめています。

ZFCの公理一覧
まず、論理式の略記と自由変数についてです。
1-
あと 703 レスあります
スレ情報 赤レス抽出 画像レス抽出 歴の未読スレ AAサムネイル

ぬこの手 ぬこTOP 0.016s