Zulip Chat Archive

Stream: general

Topic: AI and formal mathematical languages.


view this post on Zulip Juho Kupiainen (Oct 07 2019 at 10:46):

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.


Last updated: May 10 2021 at 19:16 UTC