Monthly Archives: June 2013

Notes on logical pursuit from the lectures – part one

* Davis-Putnam-Robinson-Matiyasevich work (10H): ┬áthe general problem of the existence of integer solutions of Diophantine equations is algorithmically undecidable. * a proof of consistency of the arithmetical axioms (2H), here Kurt Goedel, negative response from Goedel, euclidean geometry w/o parellel … Continue reading

Posted in Mathematics | Leave a comment

Notes taken when sitting on the grass

Notes on Plato: mathematical entities, i.e. Forms = (point, line, circle,..) as a direct description > not a direct description of the perceived, certain valuable ideas, especially these three, i.e. point, line, circle, Quotations: “One of the penalties for refusing … Continue reading

Posted in Mathematics | Leave a comment