[13 / 9 / 8]
Good Morning /Sci/entists!
I was given another Wolfy book. It is about Combinators. Combinators are a trick from math where you write the letter 's' and the letter 'k' a lot of times and it makes any mathematical object (a lot of trees?). For some reason it has nothing to do with Combinatorics. Wolfy does nice things in her book like explain how to count with combinators in the book.
A long time ago, vampire maid from touhou told me about set theory and I have been reading the Jech book to learn it. Set theory is important because it is like a floor for math. You can make anything out of sets, so other math gets defined/proved with set theory.
If combinators can also make anything, then are they an alternate floor? Could other math be defined/proved from combinators the same way you can do it with set theory?
Thank you /sci/entists for reading my post.
I was given another Wolfy book. It is about Combinators. Combinators are a trick from math where you write the letter 's' and the letter 'k' a lot of times and it makes any mathematical object (a lot of trees?). For some reason it has nothing to do with Combinatorics. Wolfy does nice things in her book like explain how to count with combinators in the book.
A long time ago, vampire maid from touhou told me about set theory and I have been reading the Jech book to learn it. Set theory is important because it is like a floor for math. You can make anything out of sets, so other math gets defined/proved with set theory.
If combinators can also make anything, then are they an alternate floor? Could other math be defined/proved from combinators the same way you can do it with set theory?
Thank you /sci/entists for reading my post.