|
|
|
|
|
|
by pierre_d528
3146 days ago
|
|
|
It's a great idea and I think it's much bigger than maths.
If you do not already know about it, searching around what
a "Dynabook" is cannot be a waste of time. You may be interested in this kind of laying out a proof:
https://lamport.azurewebsites.net/pubs/proof.pdf |
|
|