The progress of science from a computational point of view: the drive towards ever higher solvability
| Autor: | Witold Marciszewski |
|---|---|
| Jazyk: | angličtina |
| Rok vydání: | 2019 |
| Předmět: |
Speedup
Theoretical computer science TheoryofComputation_COMPUTATIONBYABSTRACTDEVICES intuitive solvability Computer science progress of science 0102 computer and information sciences 01 natural sciences Oracle Point (geometry) 0101 mathematics business.industry Second-order logic speedup 010102 general mathematics effective solvability Software development decidability mathematical intuition QA75.5-76.95 Decidability TheoryofComputation_MATHEMATICALLOGICANDFORMALLANGUAGES oracle algorithmic procedures 010201 computation theory & mathematics Electronic computers. Computer science business second-order logic solvability |
| Zdroj: | Foundations of Computing and Decision Sciences, Vol 44, Iss 1, Pp 11-26 (2019) |
| ISSN: | 2300-3405 |
| Popis: | This essay’s content is rendered by the titles of the successive sections. 1. Effective solvability versus intuitive solvability. — 2. Decidability, i.e. effective solvability, in predicate logic. The speedup phenomenon — 3. Contributions of the second-order logic to the problems of solvability — 4. The infinite progress of science in the light of Turing’s idea of the oracle. The term “oracle” is a technical counterpart of the notion of mathematical intuition. A more detailed summary can be obtained through juxtaposing the textboxes labelled with letters A...F. Conclusion: in the progress of science an essential role is played by the feedback between intellectual intuitions (intuitive solvability) and algorithmic procedures (effective solvability). |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|