Never heard of any of them before 🤔

Are them real?

I'm about to go find out I suppose

You will probably conclude yes

Morning

Satan has been the best friend the church has ever had, as he kept it in business all these years.

@Metallica good morning. 😃

Hey Gwench

I have no clue what to do rn

math

if not math then topology

Why not both at the same time

why not a programming language that does those 2

learn type theory

<:snapsnap:484956825863585792>

<:stop:625512095944802331>

Honestly I'm still new here so I'm trying to figure.out how to not offended anyone here accedently and the views of the owners. I was Basiclly almost banned from a diffrent server.just.for having a diffrent view then the admins :T

@Slash read <#484513575801454593>

Well for starters... Gwench and Citizen are the owners.

I have read the community guidelines.
Sorry for being like so cautious and like suspicious, but the other server was also one where you were suppost to be able to debate in a civil way

when the leading mathematicians can't define what equality is in type theory

There’s a channel called civil debate as well.

Yea I've seen it

I'll just try to keep my head low until I get a feel for things

everything is basicly nailed down in type theory
The great debate in type theory is equality

Alright

strange
Such a simple consept and they haven't nailed it down yet

@Slash pay no mind to @Σ5 he will be gone soon. : )

Ok, he's just honestly confusing me more then anything

😆

sometimes the simplest of questions have either complicated or unintuitive answers

@Slash things are very simple:
everything you think you know is a lie

or is it

Lol ok then

generally speaking

How come

because other people want to control everything / you

they use lies, deception / confusion fear, divide and conquer and distractions

I like to think of it as none of us know the real truth. The only way to fully believe something is to see it for yourself.

Hi

👋