RFV

140
reputation

I am studying the foundations of mathematics and computation theory.