Message from @Σ5
Discord ID: 628273897653141506
Wanted to make a haha joke
haha
Tnx bae
I'd like the ability to post images
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
<: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
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




