COMP4418, 2017–Assignment 1
Total Page:16
File Type:pdf, Size:1020Kb
Load more
Recommended publications
-
REFLECTIONS on KURT G¨ODEL Hao Wang Bradford Books, the MIT
REFLECTIONS ON KURT GODEL¨ Hao Wang Bradford Books, The MIT Press, second printing, 1988 A review by: Wim Ruitenburg Department of Mathematics, Statistics and Computer Science Marquette University Milwaukee, WI 53233 Except for a few minor corrections this second printing is identical to the first ([Wang 1987]). The book is meant to be a first attempt to consider G’s life and work as a whole within an inclusive context that, except maybe for chapters 6, 10, and 11, is accessible to most thoughtful people. The many personal contacts that W had with G during the later years of G’s life makes him an important source of informa- tion about G, particularly when one realizes that G was a rather private person, was reluctant to publish, and left a wide range of unfinished projects. W decided, for reasons of organization, to separate the private sayings for inclusion in a later book entitled Conversations with Kurt G¨odel. The current volume, less dependent upon unpublished material, is subdivided into three parts. Part I, consisting of chapters 1 through 4, presents facts about G¨odel’s life and work. Chapter 1 contains a discussion of G’s life from the per- spective of his dedication to fundamental theoretical work. W quotes and discusses three documents relevant to G’s life and work. These documents are a letter from G’s brother Dr. Rudolf G¨odel in 1985, in response to an inquiry of W; the Grandjean questionnaire of 1974, a specially designed questionnaire that was answered by G, but never sent; and an evaluation of G’s work, compiled by W and approved by G, on the occasion of G’s receiving an honorary degree from The Rockefeller University in 1972. -
Preface and Introduction Mark Van Atten
Preface and introduction Mark van Atten To cite this version: Mark van Atten. Preface and introduction. Essays on Gödel’s Reception of Leibniz, Husserl, and Brouwer, 35, 2015, Logic, Epistemology, and the Unity of Science, ISBN 978-3-319-10030-2. hal- 01403574 HAL Id: hal-01403574 https://hal.archives-ouvertes.fr/hal-01403574 Submitted on 26 Nov 2016 HAL is a multi-disciplinary open access L’archive ouverte pluridisciplinaire HAL, est archive for the deposit and dissemination of sci- destinée au dépôt et à la diffusion de documents entific research documents, whether they are pub- scientifiques de niveau recherche, publiés ou non, lished or not. The documents may come from émanant des établissements d’enseignement et de teaching and research institutions in France or recherche français ou étrangers, des laboratoires abroad, or from public or private research centers. publics ou privés. Distributed under a Creative Commons Attribution - NonCommercial| 4.0 International License preface and introduction to Essays on Gödel’s Reception of Leibniz, Husserl, and Brouwer (Dordrecht: Springer, 2015) Mark van Atten∗ 1 Preface This is a collection of most of the essays on Kurt Gödel that I have au- thored or co-authored. In their publication over the past decade, these essays have been dispersed, as they address various topics for various primary audiences: philosophers of logic and mathematics, phenomen- ologists interested in science, and historians of modern philosophy. The rationale for bringing them together here is that, not so much in spite as because of this variety, they show a coherence predicated on that of the many-sided project of Gödel’s that they collectively analyse: the project of using Husserl’s phenomenology to reconstruct and develop Leibniz’ monadology as an axiomatic metaphysics, and then to provide a Platon- istic foundation for classical mathematics starting from the metaphysics thus obtained. -
CSE370: Introduction to Digital Design
Announcements • Reading assignments CSE 311 Foundations of – 7th Edition, Section 9.1 and pp. 594-601 – 6th Edition, Section 8.1 and pp. 541-548 Computing I – 5th Edition, Section 7.1 and pp. 493-500 Lecture 19 • Upcoming topics – Relations Relations – Finite State Machines Autumn 2011 Autumn 2011 CSE 311 1 Autumn 2011 CSE 311 2 Definition of Relations Relation Examples Let A and B be sets, R1 = {(a, 1), (a, 2), (b, 1), (b, 3), (c, 3)} A binary relation from A to B is a subset of A B R2 = {(x, y) | x ≡ y (mod 5) } Let A be a set, A binary relation on A is a subset of A A R3 = {(c1, c2) | c1 is a prerequisite of c2 } R4 = {(s, c) | student s had taken course c } Autumn 2011 CSE 311 4 Properties of Relations Combining Relations Let R be a relation on A Let R be a relation from A to B R is reflexive iff (a,a) R for every a A Let S be a relation from B to C The composite of R and S, S R is the relation R is symmetric iff (a,b) R implies (b, a) R from A to C defined S R = {(a, c) | b such that (a,b) R and (b,c) S} R is antisymmetric iff (a,b) R and a b implies (b,a) / R R is transitive iff (a,b) R and (b, c) R implies (a, c) R Examples Examples (a,b) Parent: b is a parent of a Using the relations: Parent, Child, Brother, (a,b) Sister: b is a sister of a Sister, Sibling, Father, Mother express What is Parent Sister? Uncle: b is an uncle of a What is Sister Parent? Cousin: b is a cousin of a S R = {(a, c) | b such that (a,b) R and (b,c) S} Powers of a Relation How is Anderson related to Bernoulli? R2 = R R = {(a, c) | b such -
Wang and Wittgenstein1 Juliet Floyd
Wang and Wittgenstein1 Juliet Floyd Iwouldliketobeginandendwithaclassification of what philosophy has to attend to. The guiding principle is, I believe, to do justice to what we know, what we believe, and how we feel. Hao Wang, Beyond Analytic Philosophy 1. Introduction No account of Hao Wang’s philosophy can be complete without discussion of his serious engagement with Wittgenstein. This be- gan in the period 1953-1958, immediately following the publication of Philosophical Investigations [1953] and Remarks on the Founda- tions of Mathematics [1956], and culminated in a second phase of engagement from 1981 to 1995. It closed in the final chapter, “Al- ternative philosophies as complementary,” of Wang’s posthumously published A Logical Journey: From G¨odel to Philosophy ([1996a], cited hereafter as LJ). Wang’s work on Wittgenstein thus preceded the discussions he had with G¨odel (starting from 1967), and at least partly shaped his articulations of G¨odel’s philosophy. Unlike G¨odel, Kreisel, and Bernays—with whom he worked on logic and philoso- phy and whose readings and criticisms of Wittgenstein Wang took seriously—Wang was inclined increasingly over time to claim that Wittgenstein, despite certain limitations of his approach, had made fundamental and constructive contributions to philosophy. 1I owe numerous debts to the editors for their great patience and help in bettering this essay and in producing this volume of essays. Thanks are also due for comments on a late draft by my colleague Tian Cao. 143 144 The purpose of this essay is to characterize what Wang thought those contributions were, to say something about why he held Wittgenstein in such esteem, and to evaluate Wang’s contribution to our understanding of Wittgenstein. -
Conference Program and Information Booklet
HPCC/SmartCity/DSS 2019 The 21th IEEE International Conference on High Performance Computing and Communications (HPCC-2019) The 17th IEEE International Conference on Smart City (SmartCity-2019) The 5th IEEE International Conference on Data Science and Systems (DSS-2019) August 10 – 12, 2019 Zhangjiajie, China Conference Program and Information Booklet Organized by Hunan University Sponsored by IEEE, IEEE Computer Society, IEEE Technical Committee on Scalable Computing TABLE OF CONTENTS Registration Desk, Name Badges and Conference Venue Map Page 1 Presentation Guidelines Page 2 Program Overview Page 3 Welcome Message from the Congress Chairs Page 8 Conference Keynotes Page 9 Summit Keynotes Page 20 Sessions of HPCC 2019 Page 23 Sessions of SmartCity 2019 Page 49 Sessions of DSS 2019 Page 52 Organizing Committee of HPCC 2019 Page 54 Program Committee of HPCC 2019 Page 55 Organizing Committee of SmartCity 2019 Page 59 Program Committee of SmartCity 2019 Page 60 Organizing Committee of DSS 2019 Page 62 Program Committee of DSS 2019 Page 63 Travel Guide Page 66 Registration Desk The Registration Desk will be open to assist you at the following times: Friday, August 9, 2019, 10:00am – 6:00pm Saturday, August 10, 2019, 8:30am – 4:00pm Sunday, August 11, 2019, 8:30am – 4:00pm Name Badges and Meal Tickets All delegates, sponsors and speakers of the IEEE HPCC/SmartCity/DSS-2019 and associated workshops will be provided with a name badge, to be collected upon registration. This badge must be worn at all times as it is your official pass to all technical sessions of the conferences and morning and afternoon teas. -
Some Facts About Kurt Godel
Some Facts About Kurt Gödel Author(s): Hao Wang Source: The Journal of Symbolic Logic, Vol. 46, No. 3 (Sep., 1981), pp. 653-659 Published by: Association for Symbolic Logic Stable URL: http://www.jstor.org/stable/2273764 Accessed: 13/11/2008 11:29 Your use of the JSTOR archive indicates your acceptance of JSTOR's Terms and Conditions of Use, available at http://www.jstor.org/page/info/about/policies/terms.jsp. JSTOR's Terms and Conditions of Use provides, in part, that unless you have obtained prior permission, you may not download an entire issue of a journal or multiple copies of articles, and you may use content in the JSTOR archive only for your personal, non-commercial use. Please contact the publisher regarding any further use of this work. Publisher contact information may be obtained at http://www.jstor.org/action/showPublisher?publisherCode=asl. Each copy of any part of a JSTOR transmission must contain the same copyright notice that appears on the screen or printed page of such transmission. JSTOR is a not-for-profit organization founded in 1995 to build trusted digital archives for scholarship. We work with the scholarly community to preserve their work and the materials they rely upon, and to build a common research platform that promotes the discovery and use of these resources. For more information about JSTOR, please contact [email protected]. Association for Symbolic Logic is collaborating with JSTOR to digitize, preserve and extend access to The Journal of Symbolic Logic. http://www.jstor.org THE JOURNAL OF SYMBOLIC LOGIC Volume 46, Number 3, Sept, 1981 SOME FACTS ABOUT KURT GODEL HAO WANG The text of this article was done together with Godel in 1976 to 1977 and was approved by him at that time. -
Hao Wang, Known for His Wide-Ranging Work in Mathematical Logic and Philosophy and for His Role As Interpreter of and Source
The Bulletin of Symbolic Logic Volume 2, Number 1, March 1996 IN MEMORIAM: HAO WANG 1921–1995 Hao Wang, known for his wide-ranging work in mathematical logic and philosophy and for his role as interpreter of and source for the thought of Kurt Godel,¨ died in New York on May 13, 1995, one week before his 74th birthday. He was born in Jinan, Shandong, China, May 20, 1921. His early studies were in China; he obtained a B.Sc. in mathematics from the National Southwestern Associated University in 1943 and an M.A. in philosophy from Qinghua University in 1945. In 1946 he came to Harvard to study logic and philosophy. From then on his career was in the Western world, although he returned to China a number of times after 1972 and became an honorary professor at Peking University in 1985 and at Qinghua University in 1986. Wang received his Ph. D. from Harvard in 1948 and was a Junior Fellow of the Society of Fellows at Harvard until 1951. However, he spent much of 1950–51 in Zurich¨ under the auspices of Paul Bernays. Until 1956 he was an assistant professor of philosophy at Harvard, but he was on leave from 1953 to 1955, spending 1953–54 at the Burroughs Corporation and 1954–55 abroad; he was John Locke Lecturer at Oxford in the spring of 1955. In 1956 he became Reader in the Philosophy of Mathematics at Oxford, returning to Harvard in 1961 as Gordon McKay Professor of Mathematical Logic and Applied Mathematics. In 1967 he became a professor at The Rockefeller University and founded a research group in logic. -
Chinese Economists Society (CES) 2018 North America Conference
“Regulatory Impact Analysis: Methods, Applications, and Implications for Emerging Economies” Chinese Economists Society (CES) 2018 North America Conference April 5-7, 2018 Business Learning Community Terry College of Business The University of Georgia, Athens, GA, USA Co-Organizers . The Chinese Economists Society . James C. Bonbright Center for the Study of Regulations, University of Georgia Co-host . Henan University Co-Sponsors . The Office of the Senior Vice President for Academic Affairs and Provost, University of Georgia (UGA) . James C. Bonbright Center for the Study of Regulation, Terry College of Business, UGA . Department of Public Administration and Policy, School of International and Public Affairs, UGA . Department of Health Policy and Management, College of Public Health, UGA . Gregory and Paula Chow Foundation [This page is intentionally left blank] Table of Contents Organizing Committee .............................................................................. 2 The Chinese Economists Society ........................................................... 3 The University of Georgia ...................................................................... 5 Henan University .................................................................................... 8 Keynote Speakers’ Bio .............................................................................. 9 Conference Schedule ............................................................................... 11 Conference Program ............................................................................... -
Juliet Floyd
September 15, 2019 Juliet Floyd Department of Philosophy Work: + 01 (617) 353-3745 Boston University, 745 Commonwealth Avenue Fax: +01 (617) 353-6805 Boston, MA 02215 E-mail: jfl[email protected] https://www.julietfloyd.net http://www.bu.edu/philo/profiles/juliet-floyd/ Academic Positions: 2006- Professor of Philosophy, Boston University 2003- Affiliated faculty in the following Boston University programs: - Center for the Philosophy and History of Science - Editorial Institute - European Studies Program - Graduate Division of Religious Studies - Linguistics 1996-2006 Associate Professor of Philosophy, Boston University 1995 Visiting Assistant Professor of Philosophy, Boston University 1993-94 Deputy Executive Officer, Graduate Program in Philosophy, C.U.N.Y. 1992-95 Graduate Faculty Member in Philosophy, C.U.N.Y. 1990-95 Assistant Professor of Philosophy, City College of New York, C.U.N.Y. Visiting Positions: 2019-2023 Visiting Researcher, Philosophy, University of Bergen 2012 Visiting Professor, Philosophy, Universit´eMichel de Montaigne Bordeaux 2009 Visiting Professor, Philosophy, Universit´ede Paris I Panth´eon-Sorbonne 2007 Visiting Professor, Facult¨atf¨urPhilosophie, Universit¨atWien 1996 Visiting Professor, Boston University Research: History and Philosophy of Logic and Mathematics, Analytical Philosophy, and 20th Century Philosophy Philosophy of Language, Pragmatism, American Philosophy Social Philosophy, Philosophy of Emerging Media, Aesthetics Kant, Wittgenstein, G¨odel,Quine, and Turing Education: 1982-1990 Harvard University, Philosophy 1990 PhD: \The Rule of the Mathematical: Wittgenstein's Later Discussions" 1984 MA: \Kant's Sensus Communis: Regulative and Constitutive" 1978-9, 1981-2 Wellesley College, Philosophy B.A., Highest Honors, Phi Beta Kappa 1980-1981 London School of Economics and Political Science, Department of Logic, Philosophy and Scientific Method Languages: French, German (have lectured in and translated from each) 1 Fellowships, Major Grant Awards: 2016-18 Mellon Foundation Sawyer Seminar Grant (Principal Investigator, with James E. -
The Cardinal Problem of Philosophy Early = Tractatus)
Representation and Mind Hilary Putnam and Ned Block, editors Representation and Reality Wittgenstein and the Moral Life Hilary Putnam Explaining Behavior: Reasons in a World ofCauses Fred Dretske The Metaphysics ofMeaning Essays in Honor of Cora Diamond Jerrold J. Katz A Theory ofContent and Other Essays Jerry A. Fodor The Realistic Spirit: Wittgenstein, Philosophy, and the Mind Cora Diamond The Unity ofthe Self Stephen 1. White The Imagery Debate Michael Tye A Study ofConcepts edited by Alke Crary Christopher Peacocke The Rediscovery ofthe Mind John R. Searle Past, Space, and Self John Campbell Mental Reality Galen Strawson Ten Problems ofConsciousness: A Representational Theory ofthe Phenomenal Mind Michael Tye Representations, Targets, and Attitudes Robert Cummins Starmaking: Realism, Anti-Realism, and Irrealism Peter J. McCormick, editor A Logical Joumey: From Gödel to Philosophy Hao Wang Brainchildren: Essays on Designing Minds Daniel C. Dennett Realistic Rationalism Jerrold J. Katz The Paradox ofSelf-Consciousness Jose Luis Bermudez In Critical Condition: Polemical Essays on Cognitive Science and the Philosophy ofMind Jerry Fodor Mind in a Physical World: An Essay on the Mind-Body Problem and Mental Causation Jaegwon Kim The Mind Doesn't Work That Way Jerry Fodor New Essays on Semantic Extemalism and Self-Knowledge Susana NucceteIli Consciousness and Persons: Unity and Identity A Bradford Book Michael Tye The MIT Press Naturalistic Realism and the Antirealist Challenge Drew Khlentzos Cambridge, Massachusetts Wittgenstein and the Moral Life: Essays in Honor ofCora Diamond london, England Alice Crary, editor © 2007 Massachusetts Institute of Technology For Cora All rights reserved. No part of this book may be reproduced in any form by any electronic or mechanical means (including photocopying, recording, or information storage and retrieval) without permission in writing from the publisher. -
Chuan Zhao # Ise [email protected] ! Ujnccs.Github.Io/ Ph.D
University of Jinan School of Information Science and Engineering ! +1 (812)-671-2268 " +86 531 8276 7529 Skype:arronchuan Chuan Zhao # [email protected] ! ujnccs.github.io/ Ph.D. in Computer Science No.336, Nanxinzhuang West Road, Jinan 250022, China EDUCATION Sep. 2011 – Ph.D. in Computer Science, School of Computer Science and Technology, Shandong University, Jinan, Jun. 2016 China. With Prof. Qiuliang Xu Sep. 2007 – Bachelor of Computer Science and Technology, School of Mathematics and Computer Science, Jun. 2011 Hunan Normal University, Changsha, China. Exchange Student in Computer Science (Mar. 2009 – Mar. 2010), School of Computer Science and Technology, Korea National University of Education, Cheongju, Republic of Korea. WORK EXPERIENCE Nov. 2018 – Postdoctoral Researcher, School of Informatics, Computing, and Engineering, Indiana University, Present Bloomington, US. With Prof. Yan Huang Jan. 2020 – Associate Professor, Shandong Provincial Key Laboratory for Network based Intelligent Computing, Present School of Information Science and Engineering, University of Jinan, Jinan, China. With Prof. Zhenxiang Chen Jul. 2016 – Assistant Professor, Shandong Provincial Key Laboratory for Network based Intelligent Computing, Dec. 2019 School of Information Science and Engineering, University of Jinan, Jinan, China. With Prof. Zhenxiang Chen RESEARCH INTERESTS Secure Multi-Party Computation • Applied Cryptography • Privacy-Preserving Techniques • Big Data Privacy • RESEARCH PROJECTS Jan. 2018 – National Natural Science Foundation of China, “Research on Efficient Secure Two-Party Computation Dec. 2020 for Privacy-Preserving Genomic Sequence Comparison” (No. 61702218) (Principal Investigator, PI) Jan. 2019 – Shandong Provincial Key Research and Development Project, “Research and Development of Privacy- Dec. 2021 Preserving Cloud Computing Platform for Precision Medicine” (No. 2019GGX101028) (PI) Jan. -
Gödel and the Metamathematical Tradition
G¨odeland the metamathematical tradition∗ Jeremy Avigad July 25, 2007 Abstract The metamathematical tradition that developed from Hilbert’s pro- gram is based on syntactic characterizations of mathematics and the use of explicit, finitary methods in the metatheory. Although G¨odel’s work in logic fits squarely in that tradition, one often finds him cu- riously at odds with the associated methodological orientation. This essay explores that tension and what lies behind it. 1 Introduction While I am honored to have been asked to deliver a lecture in honor of the Kurt G¨odelcentennial, I agreed to do so with some hesitations. For one thing, I am not a historian, so if you are expecting late-breaking revelations from the G¨odel Nachlass you will be disappointed. A more pressing concern is that I am a poor representative of G¨odel’s views. As a proof theorist by training and disposition, I take myself to be working in the metamathemat- ical tradition that emerged from Hilbert’s program; while I will point out, in this essay, that G¨odel’s work in logic falls squarely in this tradition, one often senses in G¨odela dissatisfaction with that methodological orientation that makes me uneasy. This is by no means to deny G¨odel’s significance; von Neumann once characterized him as the most important logician since Aristotle, and I will not dispute that characterization here. But admiration doesn’t always translate to a sense of affinity, and I sometimes have a hard time identifying with G¨odel’s outlook. ∗This essay is only slightly modified from the text of a lecture presented at the spring meeting of the Association for Symbolic Logic in Montreal in May, 2006.