Message from @Mum Karen
Discord ID: 620238433239171072
@Volvo | 不気味な月間 Evening
Well...technically it's morning now
oudh
watching this
stuff about type theory
type theory is a proposed replacement for set theory
and a programming language
basicly it may replace the foundation of all math and logic
and be a programming language at the same time
Set theory is built on top of logic. It requires a separate system like predicate logic underneath it. In type theory, concepts like "and" and "or" can be encoded as types in the type theory itself.
in type theory you can prove that a program does what its supose to do
A eugenics population control scheme is being packaged under the label of halting “climate change,” These people are sick. 😡
https://www.naturalnews.com/2019-09-06-project-scopex-bill-gates-has-a-plan-to-carry-out-planetary-genocide.html
“Illustrating once again that the Cult of LGBTQ is often a cover for child-molesting perverts”
https://gender.news/2019-08-20-why-do-so-many-trans-pushers-turn-out-to-be-pedophiles.html
hello fellow flatties
who here believes the earth is flat
earth frizzbee
listen here punk the earh is flattttt
ik that
it be proven by many
earth is not flat
i belive the earth is a rhombus
no
it roundddddddddddddddddddd
it sphere
it stiangle
NO
IT SPHERE
yes
Earth more like EA cuz we have to pay for everything
No trolling.
ok sorry about that mate
It is not about beLIEving, it is about knowing.