2 of Fermi and Paradox
Total Page:16
File Type:pdf, Size:1020Kb
Load more
Recommended publications
-
ROBERT SERBER March 14, 1909–June 1, 1997
NATIONAL ACADEMY OF SCIENCES ROBE R T S E R BE R 1 9 0 9 — 1 9 9 7 A Biographical Memoir by ROBE R T P . Cr E A S E Any opinions expressed in this memoir are those of the author and do not necessarily reflect the views of the National Academy of Sciences. Biographical Memoir COPYRIGHT 2008 NATIONAL ACADEMY OF SCIENCES WASHINGTON, D.C. AIP Emilio Segre Visual Archives ROBERT SERBER March 14, 1909–June 1, 1997 BY ROBE RT P . CREASE OBERT SERBER (elected to the NAS in 1952) was one of Rthe leading theorists during the golden age of U.S. physics. He entered graduate school in 190 before such key discoveries as the neutron, positron, and deuteron and prior to the development of the principal tool of nuclear and high-energy physics, the particle accelerator. He retired from the Columbia University Physics Department (as its chairman) in 1978 after completion of the standard model of elementary particle physics, which comprises almost all known particles and forces in a single package, and which has proven hard to surpass. Shy and unostentatious, Serber did not mind being the detached spectator, and did not care when he was occasionally out of step with the mainstream, whether in politics or phys- ics. Nevertheless, others regularly counted on him for advice: he was an insider among insiders. He seemed to carry the entire field of physics in his head, and his particular strength was a synthetic ability. He could integrate all that was known of an area of physics and articulate it back to others clearly and consistently, explaining the connection of each part to the rest. -
The P–T Probability Framework for Semantic Communication, Falsification, Confirmation, and Bayesian Reasoning
philosophies Article The P–T Probability Framework for Semantic Communication, Falsification, Confirmation, and Bayesian Reasoning Chenguang Lu School of Computer Engineering and Applied Mathematics, Changsha University, Changsha 410003, China; [email protected] Received: 8 July 2020; Accepted: 16 September 2020; Published: 2 October 2020 Abstract: Many researchers want to unify probability and logic by defining logical probability or probabilistic logic reasonably. This paper tries to unify statistics and logic so that we can use both statistical probability and logical probability at the same time. For this purpose, this paper proposes the P–T probability framework, which is assembled with Shannon’s statistical probability framework for communication, Kolmogorov’s probability axioms for logical probability, and Zadeh’s membership functions used as truth functions. Two kinds of probabilities are connected by an extended Bayes’ theorem, with which we can convert a likelihood function and a truth function from one to another. Hence, we can train truth functions (in logic) by sampling distributions (in statistics). This probability framework was developed in the author’s long-term studies on semantic information, statistical learning, and color vision. This paper first proposes the P–T probability framework and explains different probabilities in it by its applications to semantic information theory. Then, this framework and the semantic information methods are applied to statistical learning, statistical mechanics, hypothesis evaluation (including falsification), confirmation, and Bayesian reasoning. Theoretical applications illustrate the reasonability and practicability of this framework. This framework is helpful for interpretable AI. To interpret neural networks, we need further study. Keywords: statistical probability; logical probability; semantic information; rate-distortion; Boltzmann distribution; falsification; verisimilitude; confirmation measure; Raven Paradox; Bayesian reasoning 1. -
Paradoxes Situations That Seems to Defy Intuition
Paradoxes Situations that seems to defy intuition PDF generated using the open source mwlib toolkit. See http://code.pediapress.com/ for more information. PDF generated at: Tue, 08 Jul 2014 07:26:17 UTC Contents Articles Introduction 1 Paradox 1 List of paradoxes 4 Paradoxical laughter 16 Decision theory 17 Abilene paradox 17 Chainstore paradox 19 Exchange paradox 22 Kavka's toxin puzzle 34 Necktie paradox 36 Economy 38 Allais paradox 38 Arrow's impossibility theorem 41 Bertrand paradox 52 Demographic-economic paradox 53 Dollar auction 56 Downs–Thomson paradox 57 Easterlin paradox 58 Ellsberg paradox 59 Green paradox 62 Icarus paradox 65 Jevons paradox 65 Leontief paradox 70 Lucas paradox 71 Metzler paradox 72 Paradox of thrift 73 Paradox of value 77 Productivity paradox 80 St. Petersburg paradox 85 Logic 92 All horses are the same color 92 Barbershop paradox 93 Carroll's paradox 96 Crocodile Dilemma 97 Drinker paradox 98 Infinite regress 101 Lottery paradox 102 Paradoxes of material implication 104 Raven paradox 107 Unexpected hanging paradox 119 What the Tortoise Said to Achilles 123 Mathematics 127 Accuracy paradox 127 Apportionment paradox 129 Banach–Tarski paradox 131 Berkson's paradox 139 Bertrand's box paradox 141 Bertrand paradox 146 Birthday problem 149 Borel–Kolmogorov paradox 163 Boy or Girl paradox 166 Burali-Forti paradox 172 Cantor's paradox 173 Coastline paradox 174 Cramer's paradox 178 Elevator paradox 179 False positive paradox 181 Gabriel's Horn 184 Galileo's paradox 187 Gambler's fallacy 188 Gödel's incompleteness theorems -
A Philosophical Treatise of Universal Induction
Entropy 2011, 13, 1076-1136; doi:10.3390/e13061076 OPEN ACCESS entropy ISSN 1099-4300 www.mdpi.com/journal/entropy Article A Philosophical Treatise of Universal Induction Samuel Rathmanner and Marcus Hutter ? Research School of Computer Science, Australian National University, Corner of North and Daley Road, Canberra ACT 0200, Australia ? Author to whom correspondence should be addressed; E-Mail: [email protected]. Received: 20 April 2011; in revised form: 24 May 2011 / Accepted: 27 May 2011 / Published: 3 June 2011 Abstract: Understanding inductive reasoning is a problem that has engaged mankind for thousands of years. This problem is relevant to a wide range of fields and is integral to the philosophy of science. It has been tackled by many great minds ranging from philosophers to scientists to mathematicians, and more recently computer scientists. In this article we argue the case for Solomonoff Induction, a formal inductive framework which combines algorithmic information theory with the Bayesian framework. Although it achieves excellent theoretical results and is based on solid philosophical foundations, the requisite technical knowledge necessary for understanding this framework has caused it to remain largely unknown and unappreciated in the wider scientific community. The main contribution of this article is to convey Solomonoff induction and its related concepts in a generally accessible form with the aim of bridging this current technical gap. In the process we examine the major historical contributions that have led to the formulation of Solomonoff Induction as well as criticisms of Solomonoff and induction in general. In particular we examine how Solomonoff induction addresses many issues that have plagued other inductive systems, such as the black ravens paradox and the confirmation problem, and compare this approach with other recent approaches. -
Hempel and the Paradoxes of Confirmation
HEMPEL AND THE PARADOXES OF CONFIRMATION Jan Sprenger 1 TOWARDS A LOGIC OF CONFIRMATION The beginning of modern philosophy of science is generally associated with the label of logical empiricism , in particular with the members of the Vienna Circle. Some of them, as Frank, Hahn and Neurath, were themselves scientists, others, as Carnap and Schlick, were philosophers, but deeply impressed by the scientific revolutions at the beginning of the 20th century. All of them were unified in ad- miration for the systematicity and enduring success of science. This affected their philosophical views and led to a sharp break with the “metaphysical” philosophical tradition and to a re-invention of empiricist epistemology with a strong empha- sis on science, our best source of high-level knowledge. Indeed, the members of the Vienna Circle were scientifically trained and used to the scientific method of test and observation. For them, metaphysical claims were neither verifiable nor falsifiable through empirical methods, and therefore neither true nor false, but meaningless. Proper philosophical analysis had to separate senseless (metaphysi- cal) from meaningful (empirical) claims and to investigate our most reliable source of knowledge: science. 1 The latter task included the development of formal frameworks for discovering the logic of scientific method and progress. Rudolf Carnap, who devoted much of his work to this task, was in fact one of the most influential figures of the Vienna Circle. In 1930, Carnap and the Berlin philosopher Hans Reichenbach took over the journal ‘Annalen der Philosophie’ and renamed it ‘Erkenntnis’. Under that name, it became a major publication organ for the works of the logical empiri- cists. -
List of Paradoxes 1 List of Paradoxes
List of paradoxes 1 List of paradoxes This is a list of paradoxes, grouped thematically. The grouping is approximate: Paradoxes may fit into more than one category. Because of varying definitions of the term paradox, some of the following are not considered to be paradoxes by everyone. This list collects only those instances that have been termed paradox by at least one source and which have their own article. Although considered paradoxes, some of these are based on fallacious reasoning, or incomplete/faulty analysis. Logic • Barbershop paradox: The supposition that if one of two simultaneous assumptions leads to a contradiction, the other assumption is also disproved leads to paradoxical consequences. • What the Tortoise Said to Achilles "Whatever Logic is good enough to tell me is worth writing down...," also known as Carroll's paradox, not to be confused with the physical paradox of the same name. • Crocodile Dilemma: If a crocodile steals a child and promises its return if the father can correctly guess what the crocodile will do, how should the crocodile respond in the case that the father guesses that the child will not be returned? • Catch-22 (logic): In need of something which can only be had by not being in need of it. • Drinker paradox: In any pub there is a customer such that, if he or she drinks, everybody in the pub drinks. • Paradox of entailment: Inconsistent premises always make an argument valid. • Horse paradox: All horses are the same color. • Lottery paradox: There is one winning ticket in a large lottery. It is reasonable to believe of a particular lottery ticket that it is not the winning ticket, since the probability that it is the winner is so very small, but it is not reasonable to believe that no lottery ticket will win. -
A Contribuição De Chien Shiung Wu Para a Teoria Quântica
UNIVERSIDADE FEDERAL DA BAHIA UNIVERSIDADE ESTADUAL DE FEIRA DE SANTANA PROGRAMA DE PÓS-GRADUAÇÃO EM ENSINO, FILOSOFIA E HISTÓRIA DAS CIÊNCIAS ANGEVALDO MENEZES MAIA FILHO PARA UMA HISTÓRIA DAS MULHERES NA CIÊNCIA: A CONTRIBUIÇÃO DE CHIEN SHIUNG WU PARA A TEORIA QUÂNTICA Salvador 2018 ANGEVALDO MENEZES MAIA FILHO PARA UMA HISTÓRIA DAS MULHERES NA CIÊNCIA: A CONTRIBUIÇÃO DE CHIEN SHIUNG WU PARA A TEORIA QUÂNTICA Dissertação apresentada ao Programa de Pós- Graduação em Ensino, Filosofia e História das Ciências, da Universidade Federal da Bahia e da Universidade Estadual de Feira de Santana como requisito parcial para a obtenção do título de Mestre em Ensino, Filosofia e História das Ciências. Orientadora: Profa. Dra. Indianara Lima Silva Salvador 2018 ANGEVALDO MENEZES MAIA FILHO PARA UMA HISTÓRIA DAS MULHERES NA CIÊNCIA: A CONTRIBUIÇÃO DE CHIEN SHIUNG WU PARA A TEORIA QUÂNTICA Dissertação apresentada como requisito parcial para obtenção do grau de mestre em 19 de abril de 2018, Programa de Pós-Graduação em Ensino, Filosofia e História das Ciências, da Universidade Federal da Bahia e da Universidade Estadual de Feira de Santana. 19 de abril de 2018 Banca Examinadora _______________________________________________ Professora Doutora Indianara Lima Silva _______________________________________________ Professora Doutora Maria Margaret Lopes _______________________________________________ Professor Doutor Olival Freire Júnior AGRADECIMENTOS Como não poderia deixar de ser, os agradecimentos revelam o quão importante são as pessoas que nos cercam e o quanto pode ser difícil, no meu caso, absolutamente impossível, realizar um trabalho individualmente. Agradeço a Josenice Assunção Maia e Angevaldo Maia, pessoas que tive a sorte de ter enquanto genitores me apoiando incondicionalmente desde sempre, confiando e acreditando nas minhas escolhas, a maior e inesgotável fonte de amor que pude encontrar na vida. -
SOCIALLY SITUATING MORAL KNOWLEDGE by ANNALEIGH ELIZABETH CURTIS B.A., Washburn University, 2008 M.A., University of Colorado at Boulder, 2012
SOCIALLY SITUATING MORAL KNOWLEDGE by ANNALEIGH ELIZABETH CURTIS B.A., Washburn University, 2008 M.A., University of Colorado at Boulder, 2012 A thesis submitted to the Faculty of the Graduate School of the University of Colorado in partial fulfillment of the requirement for the degree of Doctor of Philosophy Department of Philosophy 2013 This thesis entitled: Socially Situating Moral Knowledge written by Annaleigh Elizabeth Curtis has been approved for the Department of Philosophy (Alison Jaggar) (Adam Hosein) (Graham Oddie) (Alastair Norcross) (Celeste Montoya) Date The final copy of this thesis has been examined by the signatories, and we find that both the content and the form meet acceptable presentation standards of scholarly work in the above mentioned discipline. iii Curtis, Annaleigh Elizabeth (Ph.D. Philosophy) Socially Situating Moral Knowledge Thesis directed by Professor Alison M. Jaggar I seek to provide a partial answer to this question: what is epistemically required of us as socially situated moral agents? We are familiar with the idea that each of us, as moral agents, has a set of moral obligations—to be kind, to be fair, to do good, or whatever. We are also familiar with the idea that each of us, as epistemic agents, has a set of epistemic obligations—to believe truly, to follow our evidence, to engage in inquiry, or whatever. But moral agents also have epistemic obligations that arise specifically out of the challenge of figuring out what is morally required. I argue that several commonly held accounts of our epistemic obligations as moral agents are seriously flawed; they get the methodological question wrong, perhaps at the expense of the practical question. -
Hempel's Raven Paradox, Hume's Problem of Induction, Goodman's
Research Report KSTS/RR-19/002 September 12, 2019 (Revised November 1, 2019) Hempel’s raven paradox, Hume’s problem of induction, Goodman’s grue paradox, Peirce’s abduction, Flagpole problem are clarified in quantum language by Shiro Ishikawa Shiro Ishikawa Department of Mathematics Keio University Department of Mathematics Faculty of Science and Technology Keio University c 2019 KSTS 3-14-1 Hiyoshi, Kohoku-ku, Yokohama, 223-8522 Japan KSTS/RR-19/002 September 12, 2019 (Revised November 1, 2019) Hempel's raven paradox, Hume's problem of induction, Goodman's grue paradox, Peirce's abduction, Flagpole problem are clarified in quantum language Shiro Ishikawa *1 Abstract Recently we proposed \quantum language" (or, \the linguistic Copenhagen interpretation of quantum me- chanics", \measurement theory") as the language of science. This theory asserts the probabilistic inter- pretation of science (= the linguistic quantum mechanical worldview), which is a kind of mathematical generalization of Born's probabilistic interpretation of quantum mechanics. In this preprint, we consider the most fundamental problems in philosophy of science such as Hempel's raven paradox, Hume's problem of induction, Goodman's grue paradox, Peirce's abduction, flagpole problem, which are closely related to measurement. We believe that these problems can never be solved without the basic theory of science with axioms. Since our worldview has the axiom concerning measurement, these problems can be solved easily. Hence there is a reason to assert that quantum language gives the mathematical foundations to science.*2 Contents 1 Introduction 1 2 Review: Quantum language (= Measurement theory (=MT) ) 2 3 Hempel's raven paradox in the linguistic quantum mechanical worldview 12 4 Hume's problem of induction 19 5 The measurement theoretical representation of abduction 23 6 Flagpole problem 25 7 Conclusion; To do science is to describe phenomena by quantum language 27 1 Introduction This preprint is prepared in order to reconsider ref. -
Teller's Technical Nemeses: the American Hydrogen Bomb and Its Development Within a Technological Infrastructure
PHIL & TECH 3:3 Spring 1998 Fitzpatrick, Teller's Technical Nemeses/10 TELLER'S TECHNICAL NEMESES: THE AMERICAN HYDROGEN BOMB AND ITS DEVELOPMENT WITHIN A TECHNOLOGICAL INFRASTRUCTURE Anne Fitzpatrick, George Washington University In World War II the U.S. Army contracted the University of Pennsylvania's Moore School of Engineering to develop a new, large electronic computer—among the first of its kind—in hopes that the machine would be able to perform ballistics calculations for the war effort. The machine was not completed before the end of the war, however, and the Army was not even the first group to utilize the machine. The first calculation ever run on the Electronic Numeric Integrator and Calculator (or ENIAC, as it was known), was for the Los Alamos nuclear weapons laboratory. The "Super problem" was the first attempt to calculate the feasibility of a thermonuclear bomb. The problem, however, was too complicated for the ENIAC with its 1000 bits of memory and 18,000 vacuum tubes, and only a very simplified version of the calculation was run, revealing very little about how such a weapon might work. Although Los Alamos was exploring hydrogen weapons during and right after the Second World War, why did the U.S. not successfully test a thermonuclear bomb until 1952? I will argue that the American thermonuclear weapons program was, early on, entrenched in a technological infrastructure which affected the pace and initial results of the project, demonstrating how one particular aspect of this infrastructure—computing—influenced the practice of nuclear weapons research, design, and development. -
Oppenheimer: a Life April 22, 1904-February 18, 1967
Oppenheimer: A Life April 22, 1904-February 18, 1967 an online centennial exhibit of J. Robert Oppenheimer http://ohst.berkeley.edu/oppenheimer/exhibit/ This print edition of the online exhibit is free for use, reproduction, and distribution for educational purposes as long as this cover page and the acknowlegments page are included. It may not be altered or sold. For other usage questions, please contact the Office for History of Science and Technology, Univer- sity of California, Berkeley, at http://ohst.berkeley.edu. All image copyrights are retained by their hold- ers. © 2004 by The Regents of the University of California. 1 Oppenheimer: A Life April 22, 1904-February 18, 1967 Introduction As Alice Kimball Smith and Charles Weiner have noted, “Part of Oppenheimer’s attraction, at first for his friends and later for the public, was that he did not project the popularly held image of the scientist as cold, objective, rational and therefore above human frailty, an image that scientists themselves fostered by underplaying their per- sonal histories and the disorder that precedes the neat scientific conclusion.” There is a cacophony of conflicting descriptions of Oppenheimer – as friends have remembered him, as historians have analyzed him. He has been labeled both warm and cold, friendly and condescending, affable as well as hurtful. Learning Sanskrit and cultivating the air of an aesthete, as a young professor he stretched the bounds of the scientist’s persona. Yet in the space of a decade, the otherworldly theorist was transformed into a political insider par excellence. His fellow scientists remembered him as a visionary and capable leader at Los Alamos, while his security hearing brought to light foolish mistakes in judgment and human relationships. -
A Bibliography of Publications By, and About, Edward Teller
A Bibliography of Publications by, and about, Edward Teller Nelson H. F. Beebe University of Utah Department of Mathematics, 110 LCB 155 S 1400 E RM 233 Salt Lake City, UT 84112-0090 USA Tel: +1 801 581 5254 FAX: +1 801 581 4148 E-mail: [email protected], [email protected], [email protected] (Internet) WWW URL: http://www.math.utah.edu/~beebe/ 17 March 2021 Version 1.177 Title word cross-reference + [KT48, TT35a]. $100 [Smi85b]. $12.95 [Edg91]. $19.50 [Oli69]. $24.95 [Car91]. $3.50 [Dys58]. $30.00 [Kev03]. $32.50 [Edg91]. $35 [Cas01b, Cas01a]. $35.00 [Dys02a, Wat03]. $39.50 [Edg91]. $50 [Ano62]. − 7 $8.95 [Edg91]. = [TT35a]. [BJT69]. [CT41]. 2 [SST71, ST39b, TT35a]. 3 [HT39a]. 4 [TT35a]. 6 [TT35a]. β [GT36, GT37, HS19]. λ2000 [MT42]. SU(3) [GT85]. -Disintegration [GT36]. -Mesons [BJT69]. -Transformation [GT37]. 0 [Cas01b, Cas01a, Dys02a]. 0-7382-0532-X [Cas01b, Cas01a, Dys02a]. 0-8047-1713-3 [Edg91]. 0-8047-1714-1 [Edg91]. 0-8047-1721-4 [Edg91]. 0-8047-1722-2 [Edg91]. 1 [Har05]. 1-86094-419-1 [Har05]. 1-903985-12-9 [Tho03]. 100th 1 2 [KRW05, Tel93d]. 17.25 [Pei87]. 1930 [BW05]. 1930/41 [Fer68]. 1939 [Sei90]. 1939-1945 [Sei90]. 1940 [TT40]. 1941 [TGF41]. 1942 [KW93]. 1945 [Sei90]. 1947 [Sei90]. 1947-1977 [Sei90]. 1948 [Tel49a]. 1950s [Sei90]. 1957 [Tel57b]. 1960s [Mla98]. 1963 [Szi87]. 1973 [Kur73]. 1977 [Sei90]. 1979 [WT79]. 1990s [AB88, CT90a, Tel96b]. 1991 [MB92]. 1992 [GER+92]. 1995 [Tel95a]. 20 [Goe88]. 2003 [Dys09, LBB+03]. 2008 [LV10]. 20th [Mar10, New03d]. 28 [Tel57b]. 3 [Dic79]. 40th [MKR87]. 411-415 [Ber03b].