Formalized Formal Logic
Users following FormalizedFormalLogic
zayn7lie
zayn7lie
Any doctrine should free human free mind from collectivism.
New York University |ψ⟩ = α|NY, US⟩ + β|Tokyo, JP⟩
Gabriel Saldanha
DisistiNao
Science Computer Student at UFOP
Computer Network Technician at CEFET-MG
Ufop Ouro Preto, MG
Alexey Milovanov
AlexeyMilovanov
Theoretical computer scientist in computational complexity and algorithmic information theory. Currently working on formalization in Lean 4.
James Oswald
James-Oswald
@RAIRLab @RPI Troy, New York, USA
Adam
ascendanti
I'm all poli sci with zero chill, here to experiment with cybernetic architecture, strategy in chaotic systems using weird approaches.
Satsuki Akiba
anosatsuk124
Drawn to the hidden dialogue between unlike things—minds, languages, protocols, cultures, and systems of all kinds.
@suzuca-ai Tokyo (generally) / Hokkaido (rarely)
Samuel Volin
untra
Programmer Mathematician Rad Dude & Your Friend 💎
Fullstack Software Engineer at @stackhawk
StackHawk Denver CO
Shunsuke Ikadai
takei-batu
Master's student.
My interest: mathematical logic (proof theory and non classical logic) and proof assistant (lean4)
Institute of Science Tokyo Tokyo, Japan
Elijah Appelson
appelson
Data Scientist experienced in machine learning, web scraping, and data storytelling. Using data to create accountability.
ACLU of Louisiana New York
Bulhwi Cha
chabulhwi
I aim to create video games and other media for learning STEM disciplines.
Semmalgil Seoul, Republic of Korea (South Korea)
PreviousNext