Matches in SemOpenAlex for { <https://semopenalex.org/work/W3099199420> ?p ?o ?g. }
Showing items 1 to 66 of
66
with 100 items per page.
- W3099199420 abstract "In 1900, the celebrated German mathematician David Hilbert (1862–1943), professor of mathematics in the University of Göttingen, delivered a lecture at the International Mathematics Congress in Paris in which he listed 23 significant “open” (mathematicians’ jargon for “unsolved”) problems in mathematics. Hilbert’s second problem was: Can it be proved that the axioms of arithmetic are consistent? That is, that theorems in arithmetic, derived from these axioms, can never lead to contradictory results? To appreciate what Hilbert was asking, we must understand that in the fin de siècle world of mathematics, the “axiomatic approach” held sway over mathematical thinking. This is the idea that any branch of mathematics must begin with a small set of assumptions, propositions, or axioms that are accepted as true without proof. Armed with these axioms and using certain rules of deduction, all the propositions concerning that branch of mathematics can be derived as theorems. The sequence of logically derived steps leading from axioms to theorems is, of course, a proof of that theorem. The axioms form the foundation of that mathematical system. The axiomatic development of plane geometry, going back to Euclid of Alexandria (fl . 300 BCE ) is the oldest and most impressive instance of the axiomatic method, and it became a model of not only how mathematics should be done, but also of science itself. Hilbert himself, in 1898 to 1899, wrote a small volume titled Grundlagen der Geometrie (Foundations of Geometry) that would exert a major influence on 20th-century mathematics. Euclid’s great work on plane geometry, Elements, was axiomatic no doubt, but was not axiomatic enough. There were hidden assumptions, logical problems, meaningless definitions, and so on. Hilbert’s treatment of geometry began with three undefined objects—point, line, and plane—and six undefined relations, such as being parallel and being between. In place of Euclid’s five axioms, Hilbert postulated a set of 21 axioms. In fact, by Hilbert’s time, mathematicians were applying the axiomatic approach to entire branches of mathematics." @default.
- W3099199420 created "2020-11-23" @default.
- W3099199420 creator A5029466870 @default.
- W3099199420 date "2014-02-27" @default.
- W3099199420 modified "2023-10-14" @default.
- W3099199420 title "Entscheidungsproblem: What’s in a Word?" @default.
- W3099199420 doi "https://doi.org/10.1093/oso/9780199309412.003.0008" @default.
- W3099199420 hasPublicationYear "2014" @default.
- W3099199420 type Work @default.
- W3099199420 sameAs 3099199420 @default.
- W3099199420 citedByCount "0" @default.
- W3099199420 crossrefType "book-chapter" @default.
- W3099199420 hasAuthorship W3099199420A5029466870 @default.
- W3099199420 hasConcept C125773388 @default.
- W3099199420 hasConcept C127753061 @default.
- W3099199420 hasConcept C136119220 @default.
- W3099199420 hasConcept C145420912 @default.
- W3099199420 hasConcept C167729594 @default.
- W3099199420 hasConcept C177264268 @default.
- W3099199420 hasConcept C180110497 @default.
- W3099199420 hasConcept C183140480 @default.
- W3099199420 hasConcept C185362025 @default.
- W3099199420 hasConcept C192939610 @default.
- W3099199420 hasConcept C199343813 @default.
- W3099199420 hasConcept C199360897 @default.
- W3099199420 hasConcept C202444582 @default.
- W3099199420 hasConcept C2524010 @default.
- W3099199420 hasConcept C2777686260 @default.
- W3099199420 hasConcept C33923547 @default.
- W3099199420 hasConcept C41008148 @default.
- W3099199420 hasConcept C71924100 @default.
- W3099199420 hasConceptScore W3099199420C125773388 @default.
- W3099199420 hasConceptScore W3099199420C127753061 @default.
- W3099199420 hasConceptScore W3099199420C136119220 @default.
- W3099199420 hasConceptScore W3099199420C145420912 @default.
- W3099199420 hasConceptScore W3099199420C167729594 @default.
- W3099199420 hasConceptScore W3099199420C177264268 @default.
- W3099199420 hasConceptScore W3099199420C180110497 @default.
- W3099199420 hasConceptScore W3099199420C183140480 @default.
- W3099199420 hasConceptScore W3099199420C185362025 @default.
- W3099199420 hasConceptScore W3099199420C192939610 @default.
- W3099199420 hasConceptScore W3099199420C199343813 @default.
- W3099199420 hasConceptScore W3099199420C199360897 @default.
- W3099199420 hasConceptScore W3099199420C202444582 @default.
- W3099199420 hasConceptScore W3099199420C2524010 @default.
- W3099199420 hasConceptScore W3099199420C2777686260 @default.
- W3099199420 hasConceptScore W3099199420C33923547 @default.
- W3099199420 hasConceptScore W3099199420C41008148 @default.
- W3099199420 hasConceptScore W3099199420C71924100 @default.
- W3099199420 hasLocation W30991994201 @default.
- W3099199420 hasOpenAccess W3099199420 @default.
- W3099199420 hasPrimaryLocation W30991994201 @default.
- W3099199420 hasRelatedWork W1523053673 @default.
- W3099199420 hasRelatedWork W2047871415 @default.
- W3099199420 hasRelatedWork W2048540134 @default.
- W3099199420 hasRelatedWork W2114755658 @default.
- W3099199420 hasRelatedWork W2500934355 @default.
- W3099199420 hasRelatedWork W2798908308 @default.
- W3099199420 hasRelatedWork W2802095350 @default.
- W3099199420 hasRelatedWork W3027428265 @default.
- W3099199420 hasRelatedWork W585157909 @default.
- W3099199420 hasRelatedWork W645026086 @default.
- W3099199420 isParatext "false" @default.
- W3099199420 isRetracted "false" @default.
- W3099199420 magId "3099199420" @default.
- W3099199420 workType "book-chapter" @default.