Matches in SemOpenAlex for { <https://semopenalex.org/work/W821766686> ?p ?o ?g. }
Showing items 1 to 82 of
82
with 100 items per page.
- W821766686 abstract "A generalization of a formal system is considered, in which the axioms of the formal system can be withdrawn or supplemented, as mechanical experimentation proceeds through time and the consequences of various combinations of assumptions are realized. The theorems of these experimental logics are taken to be those assertions possessing a proof which remains valid for all sufficiently large time. Under very broad hypotheses on experimental logics, we obtain the following 0 two results: (1) There is a (n infinitude of) true but unprovable II sentence (s) ; (2) There is no mechanical procedure for uniformly finding any (of the infinitude of) true but unprovable II -sentence(s) . Our first result is analogous to Godel's First Incompleteness Theorem for formal systems (which it implies). Our second result differs sharply with that for formal systems, where a true but unprovable II--sentence is mechanically obtained in the course of Godel's proof. TWO THEOREMS ON EXPERIMENTAL LOGICS 1 by R. G. Jeroslow If one experiments through time with mechanical processes, and, on the basis of the outcome of these computer experiments, one revises the axioms of a mathematical system, then the resulting time-dependent deductive system is called an" @default.
- W821766686 created "2016-06-24" @default.
- W821766686 creator A5019288026 @default.
- W821766686 date "1973-01-01" @default.
- W821766686 modified "2023-09-26" @default.
- W821766686 title "Two theorems on experimental logics" @default.
- W821766686 cites W1571003765 @default.
- W821766686 cites W2035004935 @default.
- W821766686 cites W2114804254 @default.
- W821766686 cites W2530006810 @default.
- W821766686 cites W2797656628 @default.
- W821766686 hasPublicationYear "1973" @default.
- W821766686 type Work @default.
- W821766686 sameAs 821766686 @default.
- W821766686 citedByCount "0" @default.
- W821766686 crossrefType "journal-article" @default.
- W821766686 hasAuthorship W821766686A5019288026 @default.
- W821766686 hasConcept C102315432 @default.
- W821766686 hasConcept C108710211 @default.
- W821766686 hasConcept C118615104 @default.
- W821766686 hasConcept C134306372 @default.
- W821766686 hasConcept C144237770 @default.
- W821766686 hasConcept C154945302 @default.
- W821766686 hasConcept C167729594 @default.
- W821766686 hasConcept C177148314 @default.
- W821766686 hasConcept C180937797 @default.
- W821766686 hasConcept C199343813 @default.
- W821766686 hasConcept C199360897 @default.
- W821766686 hasConcept C2524010 @default.
- W821766686 hasConcept C2777530160 @default.
- W821766686 hasConcept C2777686260 @default.
- W821766686 hasConcept C2781302003 @default.
- W821766686 hasConcept C33923547 @default.
- W821766686 hasConcept C41008148 @default.
- W821766686 hasConcept C71924100 @default.
- W821766686 hasConcept C94461902 @default.
- W821766686 hasConceptScore W821766686C102315432 @default.
- W821766686 hasConceptScore W821766686C108710211 @default.
- W821766686 hasConceptScore W821766686C118615104 @default.
- W821766686 hasConceptScore W821766686C134306372 @default.
- W821766686 hasConceptScore W821766686C144237770 @default.
- W821766686 hasConceptScore W821766686C154945302 @default.
- W821766686 hasConceptScore W821766686C167729594 @default.
- W821766686 hasConceptScore W821766686C177148314 @default.
- W821766686 hasConceptScore W821766686C180937797 @default.
- W821766686 hasConceptScore W821766686C199343813 @default.
- W821766686 hasConceptScore W821766686C199360897 @default.
- W821766686 hasConceptScore W821766686C2524010 @default.
- W821766686 hasConceptScore W821766686C2777530160 @default.
- W821766686 hasConceptScore W821766686C2777686260 @default.
- W821766686 hasConceptScore W821766686C2781302003 @default.
- W821766686 hasConceptScore W821766686C33923547 @default.
- W821766686 hasConceptScore W821766686C41008148 @default.
- W821766686 hasConceptScore W821766686C71924100 @default.
- W821766686 hasConceptScore W821766686C94461902 @default.
- W821766686 hasLocation W8217666861 @default.
- W821766686 hasOpenAccess W821766686 @default.
- W821766686 hasPrimaryLocation W8217666861 @default.
- W821766686 hasRelatedWork W1496589583 @default.
- W821766686 hasRelatedWork W1558677417 @default.
- W821766686 hasRelatedWork W1900331061 @default.
- W821766686 hasRelatedWork W1984575571 @default.
- W821766686 hasRelatedWork W2099571154 @default.
- W821766686 hasRelatedWork W2149867064 @default.
- W821766686 hasRelatedWork W2158516540 @default.
- W821766686 hasRelatedWork W2160417070 @default.
- W821766686 hasRelatedWork W2200289053 @default.
- W821766686 hasRelatedWork W2346195939 @default.
- W821766686 hasRelatedWork W2410371834 @default.
- W821766686 hasRelatedWork W2424916294 @default.
- W821766686 hasRelatedWork W2487677574 @default.
- W821766686 hasRelatedWork W2587727771 @default.
- W821766686 hasRelatedWork W2898126838 @default.
- W821766686 hasRelatedWork W3010560451 @default.
- W821766686 hasRelatedWork W3175401415 @default.
- W821766686 hasRelatedWork W574592313 @default.
- W821766686 hasRelatedWork W633046378 @default.
- W821766686 hasRelatedWork W261732762 @default.
- W821766686 isParatext "false" @default.
- W821766686 isRetracted "false" @default.
- W821766686 magId "821766686" @default.
- W821766686 workType "article" @default.