Results

**1 - 1**of**1**### A Grand Challenge for Computing Research [GC-0] Redressing the past: liberating computing as an experimental science

"... In the conclusion to his paper 'Absolutely unsolvable problems and relatively undecidable propositions ’ [12]- submitted to a mathematics periodical in 1941- Emil Post writes:... perhaps the greatest service the present account could render would stem from its stressing of its final conclusion ..."

Abstract
- Add to MetaCart

(Show Context)
In the conclusion to his paper 'Absolutely unsolvable problems and relatively undecidable propositions ’ [12]- submitted to a mathematics periodical in 1941- Emil Post writes:... perhaps the greatest service the present account could render would stem from its stressing of its final conclusion that mathematical thinking is, and must be, essentially creative. It is to the writer's continuing amazement that ten years after Gödel's remarkable achievement current views on the nature of mathematics are thereby affected only to the point of seeing the need of many formal systems, instead of a universal one. Rather has it seemed to us to be inevitable that these developments will result in a reversal of the entire axiomatic trend of the late nineteenth and early twentieth centuries, with a return to meaning and truth. Postulational thinking will then remain as but one phase of mathematical thinking. Were Post alive today, he would find much in contemporary computing to endorse his perception of the future for formal systems. Theoretical computer science promotes a view of computing that has formal systems at its core, and its practice is dominated by the prolific invention of new formal systems designed to develop computer programs as