Results 161 to 170 of about 199,145 (211)
Some of the next articles are maybe not open access.
Studia Logica, 2018
The paper is devoted to the so called Hilbert thesis stating that -- as J. Barwise put it -- ``The informal notion of provable used in mathematics is made precise by the formal notion \textit{provable in first-order logic}''. Different variations of this thesis are discussed.
openaire +2 more sources
The paper is devoted to the so called Hilbert thesis stating that -- as J. Barwise put it -- ``The informal notion of provable used in mathematics is made precise by the formal notion \textit{provable in first-order logic}''. Different variations of this thesis are discussed.
openaire +2 more sources
IEEE Security & Privacy Magazine, 2011
Policy proposals are best made relative to a cybersecurity doctrine rather than suggested piecemeal as is being done today. A doctrine of deterrence through accountability, for example, would be a basis for rationalizing proposals that equate attacks with crimes and focus on network-wide authentication and identification mechanisms.
Fred B. Schneider, Deirdre K. Mulligan
openaire +1 more source
Policy proposals are best made relative to a cybersecurity doctrine rather than suggested piecemeal as is being done today. A doctrine of deterrence through accountability, for example, would be a basis for rationalizing proposals that equate attacks with crimes and focus on network-wide authentication and identification mechanisms.
Fred B. Schneider, Deirdre K. Mulligan
openaire +1 more source
International Journal of Dermatology, 1977
A SPECTROSCOPIC STUDY OF HUMAN STRATUM CORNEUM. Robert L. Cunico.
openaire +1 more source
A SPECTROSCOPIC STUDY OF HUMAN STRATUM CORNEUM. Robert L. Cunico.
openaire +1 more source
AI Communications, 2014 Veterinary Record, 2013
RCVS proposals on future routes to fellowship include closure of the thesis route ( VR , June 29, 2013, vol 172, p 671). Fellowship by thesis offers an opportunity for graduates in non-university employment to test their abilities and resourcefulness in pursuing a problem or phenomenon …
openaire +2 more sources
RCVS proposals on future routes to fellowship include closure of the thesis route ( VR , June 29, 2013, vol 172, p 671). Fellowship by thesis offers an opportunity for graduates in non-university employment to test their abilities and resourcefulness in pursuing a problem or phenomenon …
openaire +2 more sources
Learnability Thesis Does Not Entail Church’s Thesis
2014We consider the notion of intuitive learnability and its relation to intuitive computability. We briefly discuss the Church’s Thesis. We formulate the Learnability Thesis. Further we analyse the proof of the Church’s Thesis presented by M. Mostowski. We indicate which assumptions of the Mostowski’s argument implicitly include that the Church’s Thesis ...
Marek Czarnecki +2 more
openaire +1 more source
The physical Church thesis as an explanation of the Galileo thesis
Natural Computing, 2012zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire +2 more sources