背心 发表于 2025-3-23 12:28:03

Springer Nature Switzerland AG 2018

Anecdote 发表于 2025-3-23 16:31:27

On Proofs and Writing Mathematics,nd elementary number theory, basic set-theory, and more. We go over direct proofs, proofs by contraposition, proofs by contradiction, the role of counterexamples, proof by induction including arguments using the well-ordering principle and smallest counterexamples. We conclude with remarks on writing mathematics.

febrile 发表于 2025-3-23 18:18:54

Cardinality,d study infinite cardinalities and their surprising properties. In particular, we establish that there is an infinite increasing sequence of infinite cardinalities! We conclude with a brief and elementary discussion of issues of independence with the usual axioms, and of consistency.

拱形面包 发表于 2025-3-24 01:08:54

Rolle bei der Informationsstrukturierung,nd elementary number theory, basic set-theory, and more. We go over direct proofs, proofs by contraposition, proofs by contradiction, the role of counterexamples, proof by induction including arguments using the well-ordering principle and smallest counterexamples. We conclude with remarks on writing mathematics.

PSA-velocity 发表于 2025-3-24 05:46:31

http://reply.papertrans.cn/16/1556/155562/155562_15.png

lambaste 发表于 2025-3-24 09:03:16

http://reply.papertrans.cn/16/1556/155562/155562_16.png

大方不好 发表于 2025-3-24 11:41:07

http://image.papertrans.cn/a/image/155562.jpg

摸索 发表于 2025-3-24 15:36:21

http://reply.papertrans.cn/16/1556/155562/155562_18.png

hemophilia 发表于 2025-3-24 20:55:27

http://reply.papertrans.cn/16/1556/155562/155562_19.png

VEN 发表于 2025-3-25 01:13:58

http://reply.papertrans.cn/16/1556/155562/155562_20.png
页: 1 [2] 3 4
查看完整版本: Titlebook: An Introduction to the Language of Mathematics; Frédéric Mynard Textbook 2018 Springer Nature Switzerland AG 2018 propositional logic.set