Post Alm0uAGtNJKcDBAbk8 by histoire@bae.st
(DIR) More posts by histoire@bae.st
(DIR) Post #AllzxiJl9GJ8icdj4i by kirby@lab.nyanide.com
2024-09-07T21:57:14.211678Z
1 likes, 2 repeats
The 4th grade is incredibly hard. Struggling with fractions.
(DIR) Post #Alm056L0EzRDF6kBbE by Merc@lab.nyanide.com
2024-09-07T21:58:39.578738Z
1 likes, 2 repeats
@kirby have you defined rational numbers as equivalence classes of pairs of Integers yet
(DIR) Post #Alm07K5s4FKaU8j3Am by kirby@lab.nyanide.com
2024-09-07T21:58:59.653394Z
0 likes, 1 repeats
@Merc no
(DIR) Post #Alm0DzJHjsSU3LB5v6 by Merc@lab.nyanide.com
2024-09-07T22:00:13.765569Z
1 likes, 2 repeats
@kirby well no wonderHave you defined integers as a pair of a nontransfinite ordinal and an element of a domain with two elements yet?
(DIR) Post #Alm0JpbuiMSBhwg5DM by kirby@lab.nyanide.com
2024-09-07T22:01:17.095994Z
1 likes, 2 repeats
@Merc That's a lot of words for a 4th grader to process. I will go drink chocolate milk now
(DIR) Post #Alm0Vz1TXtJuNHQd6G by Merc@lab.nyanide.com
2024-09-07T22:02:50.297098Z
1 likes, 2 repeats
@kirby have you at least defined the axioms of predicate calculus and the rules for term reduction
(DIR) Post #Alm0VzlYmYBQgCzQvo by Merc@lab.nyanide.com
2024-09-07T22:03:27.025045Z
1 likes, 2 repeats
@kirby before you can do math, you must first create the universe. This should only take about 15 minutes.
(DIR) Post #Alm0uAGtNJKcDBAbk8 by histoire@bae.st
2024-09-07T22:06:38.888768Z
0 likes, 2 repeats
@Merc @kirby Have sex, holy shit
(DIR) Post #Alm0vG7L7q5wdFDwIK by Merc@lab.nyanide.com
2024-09-07T22:08:02.976670Z
0 likes, 3 repeats
@histoire @kirby cc @meso