Preprint announcement
Yves Guiraud <[email protected]>
| Newsgroups | gmane.science.mathematics.frogs |
|---|---|
| Message-ID | <Pine.WNT.4.61.0503241031370.2592@N2> |
Hi everyone, I've finally managed to write something down about the interpretation of CoS-style proofs as 3-dimensional objects. There, you can download the preprint: http://iml.univ-mrs.fr/~guiraud/recherche/cos.pdf This is only something informal, with no results, only ideas and intuitions (and 3-dimensional stuff... near the end...) Comments/criticism/screams/throat clearings/etc. are welcome! By the way, there are some additional (old) notes on my page on various subjects, for the ones that have already lurked around there. Bye toads... err... frogs scientists! Yves PS : Alessio, would you agree to create a link on the webpage?