The progress of science from a computational point of view: the drive towards ever higher solvability

Publicado en línea: 28 mar 2019

Páginas: 11 - 26

Recibido: 13 ago 2018

Aceptado: 25 feb 2019

DOI: https://doi.org/10.2478/fcds-2019-0002

Palabras clave

effective solvability, intuitive solvability, decidability, speedup, second-order logic, solvability, oracle, mathematical intuition, progress of science, algorithmic procedures

© 2019 Witold Marciszewski, published by Sciendo

This work is licensed under the Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 License.