emil leon post (2 Ergebnisse)

Grey-blue Wrappers. Zustand: Near Fine. First Edition. 293 Individual Volumes In Original Wrappers, Not Library Re-Binds. Foundational Material In The Development Of Modern Logic, Mathematical Analysis, And, Ultimately, The Mathematics Enabling Computers And Computer Programming And Artificial Intelligence. Some Wrappers With Minor Yellowing, Primarily To Spines, A Few Early Issues With Splits To Spines, Very Good To Fine. Ownership Signatures Of A Noted Mathematician On Some Issues. Early Issues With Issue Numbers And Dates Inked On Spines. Lacking Vol. 21 No. 3, Vol. 46 No. 2, Vol. 62 No. 1, Vol. 64 No. 1, Vol. 70 No. 3. " . The Extant Gains Registered By The Modern Symbolic Treatment Of Logic Have Become Such An Essential Factorin Making Pronouncements Regarding The History Of Logic That We Are Constrained To Say That An Essential Knowledge Of Symbolic Logic Have Become An Indispensable Condition For Any And All Fruitful Study Of The History Of Logic" [Heinrich Scholz,"Concise History Of Logic"). As It Is Impossible To Show That The Cause And Effect Of Any Physical Event Can Be Isolated Sufficiently To Make The Effects Of Forces Susceptible To A Complete Logical Analysis, The Connection Of Physical Science And Logic Remains Tangential And Tenuous. The Impossibility Of Exactly Physically Limiting Definition Of Sources And Effects Of Forces In Social Science Make Law, Economics And Politics Ridiculous, And The Rest Of Social Science Merely Entertaining. The Scientific Use Of Logic Is Limited To It's Use In Occam's Razor, The Endless Process Of Successive Removal Of Improper Statements, Relationships, And Associations In Statements About The Physical World, And The Refinement Of Unscientific Arguments In The Imaginary World To Make Them More Acceptable To Contemporary Sensibilities.

[No place], 1936. 8vo. Extract, unbound, unstapled. Pp. 103-105. The uncommon first printing of Post's seminal paper, in which he, simultaneously with but independently of Turing, describes a logic automaton, which very much resembles the Turing machine. The Universal Turing Machine, which is presented for the first time in Turing's seminal paper in the Proceedings of the London Mathematical Society for 1936 (same year as the present paper), is considered one of the most important innovations in the theory of computation and constitutes the most famous theoretical paper in the history of computing. "Post [in the present paper] suggests a computation scheme by which a "worker" can solve all problems in symbolic logic by performing only machinelike "primitive acts". Remarkably, the instructions given to the "worker" in Post's paper and to a Universal Turing Machine were identical." (A Computer Perspective, p. 125). "The Polish-American mathematician Emil Post made notable contributions to the theory of recursive functions. In the 1930s, indepently of Turing, Post came up with the concept of a logic automaton similar to a Turing machine, which he described in the present paper [the paper offered]. Post's paper was intended to fill a conceptual gap in Alonzo Churchs' paper on "An unsolvable problem of elementary number theory" (Americ. Journ. of Math. 58, 1936). Church's paper had answered in the negative Hilbert's question as to whether a definite method existed for proving the truth or falsity of any mathematical statement (the Entscheidungsproblem), but failed to provide the assertion that any such definite method could be expressed as a formula in Church's lambda-calculus. Post proposed that a definite method would be written in the form of instructions to a mindless worker operating on an infinite line of "boxes" (equivalent to Turing's machine's "tape"). The worker would be capable only of reading the instructions and performing the following tasks. This range of tasks corresponds exactly to those performed by a Turing machine, and Church, who edited the "Journal of Symbolic Logic", felt it necessary to insert an editorial note referring to Turing's "shortly forthcoming" paper on computable numbers, and ascertaining that "the present article. although bearing a later date, was written entirely independently of Turing's" (p. 103)." (Origins of Cyberspace, pp. 111-12).Hook & Norman, Origins of Cyberspace, 2002: 355.Charles & Ray Eames, A Computer Perspective, 1973: 125.