Message from @Mum Karen

Discord ID: 620239059482050572


2019-09-08 07:39:03 UTC  

stuff about type theory

2019-09-08 07:39:16 UTC  

type theory is a proposed replacement for set theory

2019-09-08 07:39:24 UTC  

and a programming language

2019-09-08 07:39:59 UTC  

basicly it may replace the foundation of all math and logic
and be a programming language at the same time

2019-09-08 07:40:37 UTC  

2019-09-08 07:41:27 UTC  

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.

2019-09-08 07:47:41 UTC  

in type theory you can prove that a program does what its supose to do

2019-09-08 11:13:01 UTC  

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

2019-09-08 11:17:38 UTC  

“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

2019-09-08 12:45:38 UTC  

hello fellow flatties

2019-09-08 12:45:55 UTC  

who here believes the earth is flat

2019-09-08 12:46:05 UTC  

me earth not globe

2019-09-08 12:46:16 UTC  

earth frizzbee

2019-09-08 12:46:26 UTC  

listen here punk the earh is flattttt

2019-09-08 12:46:48 UTC  

ik that

2019-09-08 12:46:49 UTC  

it be proven by many

2019-09-08 12:48:08 UTC  

earth is not flat

2019-09-08 12:48:35 UTC  

i belive the earth is a rhombus

2019-09-08 12:48:39 UTC  

no

2019-09-08 12:48:41 UTC  

it roundddddddddddddddddddd

2019-09-08 12:48:43 UTC  

it sphere

2019-09-08 12:48:49 UTC  

it stiangle

2019-09-08 12:48:51 UTC  

NO

2019-09-08 12:48:54 UTC  

IT SPHERE

2019-09-08 12:49:00 UTC  

yes

2019-09-08 12:49:07 UTC  

2019-09-08 12:49:12 UTC  

2019-09-08 12:49:48 UTC  

Earth more like EA cuz we have to pay for everything

2019-09-08 12:53:53 UTC  

No trolling.

2019-09-08 12:54:23 UTC  

ok sorry about that mate

2019-09-08 12:54:29 UTC  

It is not about beLIEving, it is about knowing.

2019-09-08 12:54:56 UTC  

will not happen again

2019-09-08 12:55:10 UTC  

Happens all the time.

2019-09-08 12:55:18 UTC  

If not from you, then from someone else.

2019-09-08 12:55:36 UTC  

and when it continues, they are dealt with

2019-09-08 12:55:39 UTC  

<#484513575801454593>

2019-09-08 12:55:52 UTC  

If you want to learn about flat earth, then read <#484516084846952451>

2019-09-08 12:56:01 UTC  

ok