AI and formal mathematical languages.

Stream: general

[Juho Kupiainen]

I'm studying physics and I write down the new math I learn in a formal mathematical language, so I can manipulate the mathematical expressions using a computer. I'm interested in using the mathematical code in building quantum computers and in giving meaning to brain data so that the way I think can be "understood" by a computer, which is necessary for it to act the way I want it to. If you might be interested in collaborating, send me a message here https://general-ai-group.com There you can also read my essay on general AI.