Vassil Nikolov | Васил Николов@a_cubed wrote:
> Whoever named the floors in Europe was a LISP programmer.
Hmmm...
(first x) ≡ (nth 0 x)
***
Now, for mathematicians, is zero a natural number?
Sciences, Flute 🌍 
CubeRootOfTrue@skewray I will also add, this is all axiom based. You can derive 3 and 4 valued logic from the Peano axioms and Category Theory, no more than that is necessary.
ƧƿѦςɛ♏ѦਹѤʞProvably unprovable? #WTF :-)
https://www.youtube.com/watch?v=0Le7NgS-wO0
#maths #mathematics #numbers #Goodstein #Peano #Gödel #sequence
https://www.youtube.com/watch?v=0Le7NgS-wO0
#maths #mathematics #numbers #Goodstein #Peano #Gödel #sequence
Way Bigger Than Graham's Number (Goodstein Sequence) - Numberphile
Apuntes de cienciaMi hijo (13) me ha preguntado "Si 1=2, ¿cuánto vale 1+1+1+1?" y yo he aprovechado para hablarle de los axiomas de #Peano 😋
➡️https://es.wikipedia.org/wiki/Axiomas_de_Peano
➡️https://es.wikipedia.org/wiki/Axiomas_de_Peano
Ian Douglas Scottfn main() {
println!("{}", <S<S<S<S<Z>>>> as Nat>::Fact::INT);
}
SDF.ORGgosper's graph of a space filling function painting successive range points with gradient color #hack #math #peano #lisp #mandlebrot
xameerSo which is more natural? Shapes which we see in nature or the natural numbers, which we need to define them in full?
How could #peano just assume that 0 is a natural number ? What is a shape with zero sides? Is infinity a natural number too?
What tells N from R?
How could #peano just assume that 0 is a natural number ? What is a shape with zero sides? Is infinity a natural number too?
What tells N from R?
- In #Peano arithmetic, second-order arithmetic and related systems, and indeed in most (not necessarily formal) mathematical treatments of the well-ordering principle, the principle is derived from the principle of mathematical induction, which is itself taken as basic