Carnegie Mellon Receives $20M to Establish Hoskinson Center for Formal Math
1–7 of 7 posts
Re: Carnegie Mellon Receives $20M to Establish Hoskinson Center for Formal Math
#2I love seeing coin money used for something good other than buzz.
Re: Carnegie Mellon Receives $20M to Establish Hoskinson Center for Formal Math
#3Is there a center for casual math?
Re: Carnegie Mellon Receives $20M to Establish Hoskinson Center for Formal Math
#4So they can institutionalise racism in eductation and keep breeding the underclass to maintain the family trust.
These guys came way before Apple and Google.
Re: Carnegie Mellon Receives $20M to Establish Hoskinson Center for Formal Math
#5Hoskinson has announced doing this for a while now. Good to see he’s delivered.
Re: Carnegie Mellon Receives $20M to Establish Hoskinson Center for Formal Math
#6So they can institutionalise racism in eductation and keep breeding the underclass to maintain the family trust. These guys came way before Apple and Google.
I’m not sure I follow, care to elaborate? Is the Hoskinson family an ‘Old-Money’ fortune from feudal times or something?
Re: Carnegie Mellon Receives $20M to Establish Hoskinson Center for Formal Math
#7Is there a center for casual math?
> "formal mathematics" works on mathematical theorems and proofs after they are stated in a formal language, which in turn allows us to develop computer programs to assist in discovering proofs, verifying the steps humans enter, and certifying the correctness of any proof that can be so formalized.
Pretty much every math center ever have been doing 'casual math'. Formal math is specifically about using formal proof assistants extensivelly. Such an approach traditionally has been seen as too tedious and time consuming for most serious mathematicians.
Thinks pseudocode vs. actual working implementation.