Stephen, first Thank you! Mathematica/ Alpha are both great. I've got a few questions:
What got you into mathematics in the first place?
What is your favorite piece of mathematics? i.e theorem, proof, fact, construction etc.
Whats the possibility of getting some kind of theorem/proof capabilities into Alpha? I would love to be able to type in a theorem, and get several proofs for it!
DasCondor107 karma
Stephen, first Thank you! Mathematica/ Alpha are both great. I've got a few questions:
What got you into mathematics in the first place?
What is your favorite piece of mathematics? i.e theorem, proof, fact, construction etc.
Whats the possibility of getting some kind of theorem/proof capabilities into Alpha? I would love to be able to type in a theorem, and get several proofs for it!
***Edit: Spelling price =/= piece.
View HistoryShare Link