Στις Δευ, 8 Ιουν, 2020 στις 11:48, ο χρήστηςPhilip Taylor<p.tay...@hellenic-institute.uk> έγραψε: Dijkstra was indeed a /very/ great theoretician, and I think that the IT world is a far poorer place not only for his passing but for the passing of the generation of computer scientists that he epitomised. Dijkstra, I think, saw computer programming purely as an intellectual exercise, one that did not require access to a physical computer in order to be practised — all one had to do was to write the program, prove that it was correct, and one's task was done.Years ago I read somewhere that in the early days of computing, programmerswrote the code on paper and typists wherethe ones that actually fed the code to themachine. In addition. Dijkstra was Dutch so he was probably familiar withintuitionism. Roughly, this philosophy ofmathematics among others seeatheorem proving as a mental activity.Since mathematics and programmingare similar, I think Dijkstra's view wasquite natural. Regards, Apostolos
[XeTeX] Σχετ: Re: Colour specials for XeTeX
Apostolos Syropoulos via XeTeX Mon, 08 Jun 2020 02:03:13 -0700
- Re: [XeTeX] Colou... David Carlisle
- Re: [XeTeX] Colou... Philip Taylor
- Re: [XeTeX] Colou... Apostolos Syropoulos via XeTeX
- Re: [XeTeX] Colou... Philip Taylor
- Re: [XeTeX] Colou... Ulrike Fischer
- Re: [XeTeX] Colou... Philip Taylor
- Re: [XeTeX] Colou... BPJ
- Re: [XeTeX] Colou... Philip Taylor
- Re: [XeTeX] Colou... BPJ
- Re: [XeTeX] Colou... Philip Taylor
- [XeTeX] Σχετ: Re:... Apostolos Syropoulos via XeTeX
- Re: [XeTeX] Σχετ:... Zdenek Wagner
- Re: [XeTeX] Colou... Zdenek Wagner
- Re: [XeTeX] Colou... Philip Taylor
- Re: [XeTeX] Colou... Ulrike Fischer
- Re: [XeTeX] Colour specials for XeTeX morris roger
- Re: [XeTeX] Colour specials for XeTeX Philip Taylor
- Re: [XeTeX] Colour specials for XeTeX Joseph Wright