#peano — Public Fediverse posts
Live and recent posts from across the Fediverse tagged #peano, aggregated by home.social.
-
@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?
-
@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?
-
@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?
-
@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?
-
@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?
-
-
-
-
-
@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.
-
@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.
-
@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.
-
Mi 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 -
Mi 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 -
Mi 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 -
Mi 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 -
fn main() {
println!("{}", <S<S<S<S<Z>>>> as Nat>::Fact::INT);
} -
fn main() {
println!("{}", <S<S<S<S<Z>>>> as Nat>::Fact::INT);
} -
fn main() {
println!("{}", <S<S<S<S<Z>>>> as Nat>::Fact::INT);
} -
fn main() {
println!("{}", <S<S<S<S<Z>>>> as Nat>::Fact::INT);
} -
fn main() {
println!("{}", <S<S<S<S<Z>>>> as Nat>::Fact::INT);
}
