DOCSLIB.ORG

Iasthe Institute Letter

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
Iasthe Institute Letter o E P S P H e r u l i a e n n b e v a s d l m e s t i e c e c y a i h o A n n i l a u f o D f m n t a m i g r i f a r i y e o i v s l s v u e , i n e t , I s o n d g P o : s ? s r f t @ i i n y t i u o c a e u t s e t . r o e f c d n o h u , r a N A n J The Institute Letter d g v 0 e a 8 o n 5 f 4 c a e 0 d d d S r t e Summer u s d s y . IAS N U P P e r o . i S r n n m . - c P P i e o t r t s o o # t n f a 4 i , t g 9 N O e J r P g A . I D R D H P P N F a P S J P D N A J Y R E S F M E T N P D J A S R J V o e u o e e t t c v a i a n v l a a d h n o o n i i i a e a i a a e e a a a c n a o t t m c e a d t t d i b b w c c l t o g r n n I e e p t n r r t d h n n o - m t h n a i i W i u u b e i i e m r r t i i h A H e a i c i L a a l a c c t a e s r l m e B a W l l h T r M R u o e G S r l s k i r o i e u n l t l a A t t r a a g d o l n d a r a a o t y y F o s D i s t M o a t Z B e a r i J e d r u s n S r n H a d C n l W d k D T . C L l i a E o m S n e S e l r a s d V r L r G d a o a I a l p C m L h . r g B i i a s . m i c i o a d s o a e j b n y f c a k s A e t i a e e k a o A P k r o e e c n a t n i i b o h l e r i n v e a i a e n d s b n h r o g v e i l - r d n e n i r y s l m r c n e r H l l e i o n r r S e r K e g e e e y o A i e l i a r d c P O r a n a t a o r r t r i a s o i O s i r m g o s B f k o t a , t n T e y f D e T d s T O i s r H o e E r c H t o T h r e S I The Art of Bridging n In this issue, Danielle Allen writes about the art of bridging as an essential tool for linking people who s P P P G C B M P R C F G N C C M H A I J C R V S P J B E R M M N D N come from different social spaces and as especially powerful for the diffusion of knowledge (page 4). r t e o e e e p h i r i e h a r a h o h o . o o e a a i l e a v e c i o a a f h e t t t l e n i n i R r r b b g c i v f i a n n r a a i e e e r e t r r r i r l e l n r n n n o m o i o h e provides a real-world example in the establishment of a school for Arab and e l Catherine Rottenberg e b r i r o i r r r o s i t c c r t e m s i d A r l r o i o e g l r l r d t r a d e y y p b W t S i y n G P R e e d m C i J i t n i n . i e r c a F W e a D D L . s l a . a c S B . A C o o A t P o . a u L l J h e Jewish children in Israel (page 5). Depicted above is a mathematical torus (a donut-shaped object that . a n r H L n W r t a K . e r . S B n . B f . l D h t . M W . n . e d V v W a H a M l L v i e P F J L a s G . T F H H o r L t i h m i g i r i t o . n a e a t g e a j n B i . e w n e cannot be deformed into a sphere in a continuous way without tearing it) made of logical symbols. r s a r e a e a r t i a k a h s D n r l r r n d n v G c i t o r n u j i l i i z s c b r b e g e q g s e i o f k c n i b r e i g y n e M v s S f r e l l t r n r i u u i r h e i o s h e l l s c o t y r It represents homotopy type theory, a new branch of mathematics that connects homotopy theory (the e c t s a t k a o e a s r o e a m w i h h y o o i s k a l o n l r n d e s B F l l c u t s s f i d n a a d z e s t k Lett r y study of continuous deformations) and type theory (a branch of mathematical logic). n Steve Awodey t n z n , s n a n d J n u r k . and Thierry Coquand explain how an international team of thirty-two researchers in computer science, m l i n logic, and mathematics worked at the Institute during the past year to develop this theory and the re- lated univalent foundations of mathematics, which can be used to verify the correctness of e individual mathematical proofs and facilitate the large-scale formalization of mathematics by allowing r mathematicians to build shared, searchable libraries of formalized definitions, theorems, and proofs (page 1). Andrej Bauer describes the socio-technological aspects of writing the Homotopy Type Theory E I P w ( w f E w P H W J D M S J T B M S M R R V C J L M R H D H w o n 6 a a a r e h i a a i r r r i a h o w a a e a a S w w w r d 0 a a a i i n i s m m m c book, six hundred pages by two dozen mathematicians in less than six months, which can be freely t i r i u e d l A n n c l v v l a r m e t a c n 9 r r r h w t p s l e w w w l i o h i s u i i c a a i d r i t i t e e e n ) t b t e s n h a d d r . E a i n i i t e l e . u e n l y v s s s l n n y y s 7 S i f t d m e r downloaded and contributed to as an open-source project on GitHub (page 7). Hanno Rein writes d e m i t F a a o . l a a w a m t M K h E n d o 3 v J H D e G o e .
Load more

Recommended publications
  • Racial Justice in Engineering the Road Ahead for Mckelvey Engineering
    mckelvey engineering Across Disciplines. Across the World® // spring 2021 Racial justice in Engineering The road ahead for McKelvey Engineering inside Neal Patwari 18 // Virtual becomes reality 22 // Libby Allman 26 From the dean // The Long Road Ahead I write this letter as we are wrapping up what will be remembered as the most unusual academic year in living memory. The COVID-19 pandemic, which last spring was a crisis requiring an immediate response to launch online learning, grew into an ever-present constraint that impacted teaching, research and all aspects of operations across the university. For the Fall 2020 and Spring 2021 semesters, McKelvey Engineering needed to embrace new paradigms of teaching and learning, to develop new modes of managing and sharing research spaces, and to conduct business operations almost exclusively through remote interactions. In the pages of this issue of Engineering Momentum, you will read about some of the efforts it took to rise to the occasion. Given the enormity of the task, one might expect responding to COVID-19 to be the cover story of this issue of the magazine. It is not. Instead, the summer of last year saw the emergence of an awareness of a challenge that has been with us for centuries and whose destructive power is not amenable to being controlled by a vaccine. While the most visible event of the summer was the video-captured death of George Floyd at the hands of police officers, there was a washu photo litany of such tragedies and travesties. These incidents energized a Black Lives Matter Aaron F.
    [Show full text]
  • Nonstandard Set Theories and Information Management
    Nonstandard Set Theories and Information Management VAROL AKMAN akmantroycsbilkentedutr Department of Computer Engineering and Information Science Bilkent University Bilkent Ankara Turkey MUJDATPAKKAN pakkantrb ounbitnet Department of Computer Engineering Bosphorus University Bebek Istanbul Turkey Abstract The merits of set theory as a foundational to ol in mathematics stimulate its use in various areas of articial intelligence in particular intelligent information systems In this pap er a study of various nonstandard treatments of set theory from this p ersp ective is oered Applications of these alternative set theories to information or knowledge management are surveyed Keywords set theory knowledge representation information management commonsense rea soning nonwellfounded sets hyp ersets Intro duction Set theory is a branch of mo dern mathematics with a unique place b ecause various other branches can b e formally dened within it For example Book of the inuential works of N Bourbaki is devoted to the theory of sets and provides the framework for the remaining 1 volumes Bourbaki said in Goldblatt All mathematical theories may b e regarded as extensions of the general theory of sets On these foundations I can state that I can build up the whole of the mathematics of the present day This brings up the p ossibility of using set theory in foundational studies in AI Mc Carthy has emphasized the need for fundamental research in AI and claimed that AI needs mathematical and logical theory involving conceptual innovations In an
    [Show full text]
  • Stories of Minjung Theology
    International Voices in Biblical Studies STORIES OF MINJUNG THEOLOGY STORIES This translation of Asian theologian Ahn Byung-Mu’s autobiography combines his personal story with the history of the Korean nation in light of the dramatic social, political, and cultural upheavals of the STORIES OF 1970s. The book records the history of minjung (the people’s) theology that emerged in Asia and Ahn’s involvement in it. Conversations MINJUNG THEOLOGY between Ahn and his students reveal his interpretations of major Christian doctrines such as God, sin, Jesus, and the Holy Spirit from The Theological Journey of Ahn Byung‑Mu the minjung perspective. The volume also contains an introductory essay that situates Ahn’s work in its context and discusses the place in His Own Words and purpose of minjung hermeneutics in a vastly different Korea. (1922–1996) was professor at Hanshin University, South Korea, and one of the pioneers of minjung theology. He was imprisonedAHN BYUNG-MU twice for his political views by the Korean military government. He published more than twenty books and contributed more than a thousand articles and essays in Korean. His extended work in English is Jesus of Galilee (2004). In/Park Electronic open access edition (ISBN 978-0-88414-410-6) available at http://ivbs.sbl-site.org/home.aspx Translated and edited by Hanna In and Wongi Park STORIES OF MINJUNG THEOLOGY INTERNATIONAL VOICES IN BIBLICAL STUDIES Jione Havea, General Editor Editorial Board: Jin Young Choi Musa W. Dube David Joy Aliou C. Niang Nasili Vaka’uta Gerald O. West Number 11 STORIES OF MINJUNG THEOLOGY The Theological Journey of Ahn Byung-Mu in His Own Words Translated by Hanna In.
    [Show full text]
  • New Foundations of Cost–Benefit Analysis
    Regulation & Governance (2009) 3, 72–83 doi:10.1111/j.1748-5991.2009.01045.x RESEARCH FORUM New foundations of cost–benefit analysis A reply to Professors Sinden, Kysar, and Driesen Matthew Adler University of Pennsylvania Law School, Philadelphia, PA, USA Eric A. Posner University of Chicago Law School, Chicago, IL, USA Abstract This article responds to the criticisms of New Foundations of Cost–Benefit Analysis that appeared in a review by Amy Sinden, Douglas A. Kysar, and David M. Driesen. We argue that their criticisms are either based on misunderstandings of our approach or are too demanding, in the sense that no reasonable decision procedure would satisfy them. We illustrate this second argument by demon- strating that their preferred approach – feasibility analysis – has little to recommend it. Keywords: cost–benefit analysis, regulation, welfarism. Introduction The basic thrust of New Foundations of Cost–Benefit Analysis is to detach cost–benefit analysis (CBA) from Kaldor–Hicks efficiency,which we argue lacks moral relevance (Adler & Posner 2006, pp. 19–24), and instead to see CBA as a rough, administrable proxy for overall wellbeing. We defend the moral relevance of overall wellbeing by appealing, not to utilitarianism,but to“weak welfarism”– a much more catholic moral view that sees overall wellbeing as one among a possible plurality of foundational moral criteria, along with distributive considerations, deontological rights, and non-welfare values (Adler & Posner 2006, pp. 52–61). We also reject the simple equation of wellbeing and preference- satisfaction. An outcome benefits a person only if she prefers it and her preferences are self-interested and survive idealization (Adler & Posner 2006, pp.
    [Show full text]
  • On the Brink of New Promise the FUTURE of U.S
    On the Brink of New Promise THE FUTURE OF U.S. COMMUNITY FOUNDATIONS By Lucy Bernholz, Katherine Fulton, and Gabriel Kasper Blueprint Research & Design, Inc. and the Monitor Institute, a member of Monitor Group Created with funding support from the Charles Stewart Mott Foundation and the Ford Foundation © Copyright 2005 Blueprint Research & Design, Inc. and Monitor Company Group, LLP. We encourage readers to use and share the contents of this report, with the understanding that it is the intellectual property of Blueprint Research & Design and the Monitor Group, and that full attribution is required. An invitation from the Charles Stewart Mott and Ford foundations Our two foundations have been privileged to have worked with community foundations across the United States over the past quarter century. For both of us, this is an area of philanthropy we care about deeply. Th e Charles Stewart Mott and Ford foundations work at national and indeed international levels. Yet we both know how valuable it is for large private foundations to have strong, dynamic community founda- tions as partners working at the local level. Th is is why we embraced the opportunity to look deep into the future of the fi eld through the expert eyes of Lucy Bernholz, Katherine Fulton, and Gabriel Kasper. Over those years, Mott and Ford have made grants to community foundations to build general and administrative endowments, to provide peer-to-peer learning opportunities and technical assistance, and to strengthen programming expertise in areas such as low-income neighborhoods, the environment, and minority communities. We have also assisted the fi eld to develop abroad, and we have helped build the infrastructure for community foundations We recommend this report to community foundation staff, boards of directors, across the nation.
    [Show full text]
  • The Assassination of Dr. Martin Luther King Jr. and the Birth of Funk Culture
    Loyola University Chicago Loyola eCommons Dissertations Theses and Dissertations 2013 Funk My Soul: The Assassination of Dr. Martin Luther King Jr. And the Birth of Funk Culture Domenico Rocco Ferri Loyola University Chicago Follow this and additional works at: https://ecommons.luc.edu/luc_diss Part of the United States History Commons Recommended Citation Ferri, Domenico Rocco, "Funk My Soul: The Assassination of Dr. Martin Luther King Jr. And the Birth of Funk Culture" (2013). Dissertations. 664. https://ecommons.luc.edu/luc_diss/664 This Dissertation is brought to you for free and open access by the Theses and Dissertations at Loyola eCommons. It has been accepted for inclusion in Dissertations by an authorized administrator of Loyola eCommons. For more information, please contact [email protected]. This work is licensed under a Creative Commons Attribution-Noncommercial-No Derivative Works 3.0 License. Copyright © 2013 Domenico Rocco Ferri LOYOLA UNIVERSITY CHICAGO FUNK MY SOUL: THE ASSASSINATION OF DR. MARTIN LUTHER KING JR. AND THE BIRTH OF FUNK CULTURE A DISSERTATION SUBMITTED TO THE FACULTY OF THE GRADUATE SCHOOL IN CANDIDACY FOR THE DEGREE OF DOCTOR OF PHILOSOPHY PROGRAM IN HISTORY BY DOMENICO R. FERRI CHICAGO, IL AUGUST 2013 Copyright by Domenico R. Ferri, 2013 All rights reserved. ACKNOWLEDGEMENTS Painstakingly created over the course of several difficult and extraordinarily hectic years, this dissertation is the result of a sustained commitment to better grasping the cultural impact of Dr. Martin Luther King Jr.’s life and death. That said, my ongoing appreciation for contemporary American music, film, and television served as an ideal starting point for evaluating Dr.
    [Show full text]
  • Download the Lookbook
    WE FEEL YOUR INFLUENCE SPRING SUMMER 18 THE WORLD NEEDS ORIGINALS SS18 “IT DOESN'T MATTER WHAT COLOUR YOU ARE OR WHAT KIND OF CULTURE YOU'RE IN, IF YOU REALLY WANT TO MEAN SOMETHING, YOU HAVE TO DO IT RIGHT AND DO IT HONESTLY.” WHEELERCARON ON CREATIVITY It usually starts from me, from a feeling of something, either to put into musical form. That’s how I usually make my discontent or something I want to fix. I turned to songwriting songs. I have to feel what the story is. I always try and make because I like writing down ideas. Sometimes I don’t completely stories sit well, and also uplift people a bit, because the whole finish songs, but if I keep going I might get the real thing. world is going crazy! It’s not until you’ve actually tweaked it enough to the point If you feel it’s not working, lay back and sometimes it just where it sounds like something that somebody would want comes to you all at once. I can’t explain it exactly but it just to listen to. starts to happen, and when it does happen and it feels right, I like doing music that can be very, not cathartic, but like it’s time to jump on that feeling and move with it. emotions that you can’t see but you feel. That’s what you’re trying Try to, basically, infuse the air with what you’re feeling. CARON WHEELER ON WRITING HIT SONGS ON FAME At first I didn’t know I’d make a hit, ever.
    [Show full text]
  • The Problem of the Consistency of “New Foundations”
    The Problem of the Consistency of \New Foundations" Randall Holmes September 10, 2013 1 Abstract: I will explain the nature of the long- standing problem of the consistency of the set theory New Foundations proposed by the philoso- pher W. v. O. Quine in 1937 both in the prior context of the development of set theory, its usefulness in mathematics, and the problem of the "paradoxes" of set theory, and in the pos- terior context of partial solutions to the consis- tency problem and related results. I do claim to have solved this problem (this is not generally agreed yet) but I am not going to talk about that on this occasion. The talk should be ac- cessible to a general audience of mathemati- cians; I hope that a graduate student or mature undergraduate would get something out of it too. Plan of the talk I'm going to talk about the problem of the consistency of Quine's set theory \New Foun- dations", which is the central issue of my tiny area of set theory. I currently believe that I have solved this prob- lem, but this has nothing to do with the present talk, or very little. What I propose to do is explain what the prob- lem is and put it in some kind of context. Why does one need a set theory? Why is there a problem of consistency of set theories? What is New Foundations anyway and why is there a problem with it in particular? What are the relevant related results and partial solutions to the problem? 2 What is a set? When I tell a layman with no maths that I work in set theory, they ask \What is a set?".
    [Show full text]
  • Iptvelopment, San Francisco, Calif
    , _ DOCUilla RiSONS \ . ,, xED 186 618 . -CE 024 '640 ) C , AUTHOR. Banathy, Bela H.; indlOthers 4 , . .T,.TLE Implementing Career Education fot. Native American k Students. 4 Guide. Native American Career Education Demonstration, Project. INSTITODIuN , Far West Lab. tor Eddcational Research and .iptvelopment, San Francisco, Calif. sPi./NS AGENCY Office ot Faducatimn (DHEW),.Washingion, D.C.. PMB DATE GRANT GOU7802031 NOTE . 146p.; Some pages with small type will not r,eproducq ' well'. For related dOcuments see CE 024 650-652,ED. , \ .147 59176_04 ED 16,3_ 226, aad ED_ 167 77_5...'. EDRS PRICE 8F01/PC06 Plus postage. .%. DESCRIPTORS Adpinistrator:Guides: *American Indian EducatiOn: *American Indians; *Career Educationi Demonstration , Programs: Program Descriptions; Program.Design; 4:Program Development;Program Gud.des; *Program 1, ImplementatiA; Surveys IdENTIFIZRS Education Amendments 1474 / , ,...,..-. ABSTR'ACT, ,, . This sluide..is inte,nded to serve as aresqurce for 'School, project, and/or community people in implementinga career eddcati9n program to:. their Indien sudents. The (Aideis divided' -into four chapters, qrllowed byan annotated bibliographyl, The first . chapter describes the conditions and resources needed to starts . developiAg a program and hokto acg1iire them. In the secondoilapter, the activities involved in designing and imp,lementinga pilot project ( are.discussed. Tjae third chapter.talks about program expansion, ' including formative evaluation, while the. fourth chapteeis , concerned with how to maintain and dissamiaatea fully-developed program. Each . flapter- begins yith an analysis of the basic activities and procedures Ulat take place during thatp)iase, follows witha , e discussion of each step (illustrated by examples, and conclucles''.witV.- a review of essential points. Native American career educiation - , :surveys for the 'community and tor studefits.are appended.
    [Show full text]
  • New Review of Normal Life
    reviews Start Something Fierce ling questions, and turn regular people into activists. So it makes sense that they would use the rabble-rousing potential of a zine format to help inform others. Zines tend to tackle subjects that are out of the mainstream, and in keeping with this tradition the strongest part of this zine is the how-to section. Toward the end there is a series of guidelines and tips for grassroots organizing, where the authors bring in their own experience to help demystify the basics of fundraising, media rela- tions, communications, campaign strategizing, evaluation and even self-care to avoid burnout. These sections are warm and energizing, 2nd Edition clean and straightforward. The tips will help anyone take a cam- A Young Woman’s Guide paign from vague idea to real-world action. to Grassroots Organizing Another time-tested function of a zine is to challenge convention. The authors do this by introducing cutting-edge tools and concepts that can help in campaigning: “grow-gan-izing,” art therapy, the importance of an anti-oppression framework, and economic empow- erment, all important considerations for activists who don’t want to Start SoMEThINg FIERcE (2ND EDITIoN) reinforce the structures they are trying to fight. Edited by Courtney Montour The messy, DIY style of zines means that anyone can make one http://girlsactionfoundation.ca/files/start_something_fierce_ with stuff found around the house, and when you read one you zine_2ndedition.pdf expect to hear the personal views of real people, not someone with a corporate agenda. Start Something Fierce does this by including When I sat down to read Start Something Fierce, I expected to get personal stories written by Indigenous women.
    [Show full text]
  • Even More Shared Idiz (Vol 3)
    Shared iD z • 2 SharediDiz.com • (EVEN MORE) • • SharediDiz.com 3 6531 Ferguson Street Indianapolis IN 46220 317.257.0000 www.cuidiz.com [email protected] Copyright © 2015 by iDiz Incorporated. All rights reserved. • 4 SharediDiz.com Contents Foreword ix Contributors x CREATIVITY How ideas happen 11 Brainstorming brainstorming 12 Are you telling stories or storytelling? 14 Killing the funny frog 15 How ideas happen 17 Ideas are a dime a dozen 18 BRANDING No more lousy CU names 19 Credit unions: not for everybody 20 No more lousy CU names 21 Name Change Step #1: Getting the CEO on board 23 Build a Brand Strategy before a list of new names 24 Brand Loyalists are wimps. Build a Legion of Brand Fanatics 26 Taglines are like short stories that no one understands 28 The Rule of Three Rules 30 Your brand – relabel or repackage? 32 Mission Statements are boring. What’s your Manifesto? 34 MEMBERSHIP Never stop telling your story 35 If it’s your member’s problem, it’s your problem 36 80% of your members are blood sucking parasites 37 United by a single shared interest 39 Never stop telling your story 40 Never trust someone that bends the truth like a pretzel 41 Go find some weirdos 43 • SharediDiz.com 5 WEB The future of credit union web site design 44 The future of credit union web site design 45 177 Minutes a day 47 Take an active role in member security 48 Five uncommon reasons to rebuild your web site 49 Build your web site brand first 51 Snap decisions may only be worth the time they take 52 Five things to expect when building a new web site 54 Search is about people, not Google 56 Why do so many CU websites look like garage sales? 57 LOANS Those mysterious millennials 59 The electric car experience 60 A little medieval, a little modern 62 Those mysterious millennials 63 Unemployed Millennials: How will they affect your CU? 64 Make some EMV lemonade 65 Millennials: No Car, No House, No CU Income? 67 LEADERSHIP Meh boss? Maybe it’s you.
    [Show full text]
  • By WV QUINE Only the Truth Functions, Quantification, and Membership
    538 MATHEMATICS: W. V. QUINE PROC. N. A. S. ON THE CONSISTENC Y OF "NEW FOUNDA TIONS" By W. V. QUINE HARVARD UNIVERSITY Communicated by Hassler Whitney, June 12, 1951 The question of the consistency of the system of set theory in my "New Foundations,"' briefly NF, has long been mooted.2 3 The question takes on added interest with Wang's new revision4 of the system of my Mathe- matical Logic;5 for Wang has proved that this revision, which is to be used in the forthcoming third printing of Mathematical Logic, is consistent if NF is consistent. The purpose of the present note is to point out that NF is consistent if and only if the system of Whitehead and Russell's Principia Mathematica,6 briefly PM, is consistent in a certain one of its natural ver- sions. PM may be conceived in a form in which the variables carry indices indi- cating logical type. Alternatively PM may be conceived under a conven- tion which Whitehead and Russell called typical ambiguity; under this con- vention the indices are suppressed but still only those formulae are ad- mitted as meaningful which are stratified, i.e., so constituted that type in- dices could be inserted everywhere without violating the theory of types. Another point on which we have a choice, in framing a version of PM, is the status of relations and relational predication: we may assume relational predication as primitive on a par with set-membership, and decree a sprawling annex to the theory of types to accommodate relations, as was done in effect by Whitehead and Russell; or alternatively we may, follow- ing Wiener,7 reduce relations to certain sets of sets of sets (at the cost of giving up relations between things of different types).
    [Show full text]