From 96e07b35667e3e5eedcf7533c490dc4d7cfb3aef Mon Sep 17 00:00:00 2001 From: Boris Marinov Date: Fri, 15 Sep 2023 14:14:07 +0300 Subject: [PATCH] stuff --- _chapters/06_numbers.md | 11 +++++++++++ index.md | 8 +++----- 2 files changed, 14 insertions(+), 5 deletions(-) create mode 100644 _chapters/06_numbers.md diff --git a/_chapters/06_numbers.md b/_chapters/06_numbers.md new file mode 100644 index 0000000..802fe40 --- /dev/null +++ b/_chapters/06_numbers.md @@ -0,0 +1,11 @@ +Peano +---- + +Learning mathematics, can feel overwhelming, because of the huge, even infinite, body of knowledge: how do you proceed so big of a task? But it turns out the answer is simple: you start off knowing 0 things, 0 theories. Then, you learn 1 theory - congrats, you have learned your first theory and so you would know a total of 1 theories. Then, you learn 1 more theory and you would already know a total of 2 theories. Then learn 1 more theory and then 1 more and, given enough time and dedication, you may learn all theories. + +This little argument applies not only to learning mathematical theories, but to everything else that is "countable", so to say. This is because it is the basis of the mathematical definition of natural numbers, as famously syntesized in the 19th century by the Italian mathematician Giuseppe Peano: + +1. $0$ is a natural number. +2. If $n$ is a naturan number, $n+1$ is a natural number. + +And then, he gave the following laws. diff --git a/index.md b/index.md index 30620fb..0791777 100644 --- a/index.md +++ b/index.md @@ -6,8 +6,6 @@ title: index Category Theory Illustrated is a primer in category theory and other mathematical theories that is made to be *really* accessible to people with no prior exposure to the subject, without being dumbed down, by utilizing visual explanations. -The book serves as chapter 0 going through the gist of the material covered by other similar introductory books, but doing so in a way that would enable non-mathematicians to easily comprehend. - [![cover.svg](cover.svg)](00_about) [Read online](00_about) @@ -37,9 +35,9 @@ Praise Let's talk: publishers, co-authors, contributors === -I want to make this book into the best introductory text, not only to category theory, but to mathematics as a whole. It seems that I would need some help, though: +I want to make this book into the best introductory text, not only to category theory, but to mathematics as a whole. It seems that I would need some help, though. -- I am looking for a *publisher* who is willing to release this book on paper. I have some more content that I can provide for the printed version. I am very flexible for the most part. +- I am looking for a *publisher* who is willing to work release this book. I have some more content that I can provide for the printed version. I am very flexible for the most part, aside from the fact that some of its content would remain open souce. - I am also looking for co-authors and/or technical reviewers with good experience in category theory, who are willing to help with polishing and enriching the text. @@ -47,4 +45,4 @@ I want to make this book into the best introductory text, not only to category t - Even if this is the first book on math you read, you can still help me — let me know what parts are hard for you to understand and let's figure out why. -You can contact me via [email](mailto:marinovboris@protonmail.com). For other means of contact, see the footer. +You can contact me via [email](mailto:marinovboris@protonmail.com) or post an issue or PR on [Github](https://github.com/abuseofnotation/category-theory-illustrated). For other means of contact, see the footer.