Listing 1 - 2 of 2 |
Sort by
|
Choose an application
Unidentified phenomena in space, in the Earth's atmosphere, and in waters are too important to leave their exploration to the military and scientific laypersons. Their proper scientific study is important for a variety of reasons; in particular, scientists and the public at large need to know the basic facts, to be informed about the way evidence is recorded, and to understand the difference been reliable evidence and fiction, as well as between plausible explanations and fantasy. With this objective, the book surveys the history of UFO observations, the variety of recorded phenomena, and recounts the efforts of investigative commissions and their published findings. Although wild rumors are demystified in the process, this is not an exercise in rumor-bashing. An open and at the same time critical mindset is the key. Many narratives and hypothesis appear implausible relative to our present state of knowledge; but this alone should not lead to their outright exclusion. Thus the author also pays attention to UFO sightings that have so far eluded explanation in terms of known physics or meteorology. Here the reader will encounter some of the more speculative but scientifically tenable proposals, for example, relating to sudden zigzag motion without apparent inertia or recognizable propulsion, yet always with a clear guide to their plausibility. Last but not least, the book outlines plans and suggestions for future research capable of revealing the existence and intentions of extraterrestrial intelligences, outer-space engineers, or technologies so far known only from science fiction.
Space research --- Astronomy --- Biology --- Applied physical engineering --- Air traffic --- astronauten --- biologie --- engineering --- luchtvaart --- ruimte (astronomie) --- ruimtevaart
Choose an application
Church's Thesis (CT) was first published by Alonzo Church in 1935. CT is a proposition that identifies two notions: an intuitive notion of a effectively computable function defined in natural numbers with the notion of a recursive function. Despite of the many efforts of prominent scientists, Church's Thesis has never been falsified. There exists a vast literature concerning the thesis. The aim of the book is to provide one volume summary of the state of research on Church's Thesis. These include the following: different formulations of CT, CT and intuitionism, CT and intensional mathematics,
Logic, Symbolic and mathematical. --- Algebra of logic --- Logic, Universal --- Mathematical logic --- Symbolic and mathematical logic --- Symbolic logic --- Mathematics --- Algebra, Abstract --- Metamathematics --- Set theory --- Syllogism --- Church, Alonzo,
Listing 1 - 2 of 2 |
Sort by
|