AI-powered
podcast player
Listen to all your favourite podcasts with AI-powered features
How Did You Come Up With the Need for Formalization of Mathematics?
I studied Argentina and my like bachelor's plus master's thing and I studied both computers and some math but in the end I'm graduating only in math. It was a pretty hardcore program very in depth very theoretical but it was pretty solid. For me just became the natural way to come up with ideas and to think about things, which is kind of funny because I'm a bad coder as well.