{"id":70,"date":"2018-09-26T21:48:54","date_gmt":"2018-09-26T19:48:54","guid":{"rendered":"http:\/\/calculemus.org\/fi4\/?page_id=70"},"modified":"2018-10-15T16:20:08","modified_gmt":"2018-10-15T14:20:08","slug":"wyklad-prof-turnera","status":"publish","type":"page","link":"https:\/\/calculemus.org\/fi4\/wyklad-prof-turnera\/","title":{"rendered":"Wyk\u0142ad prof. Turnera"},"content":{"rendered":"<p>Wyk\u0142ad b\u0119dzie nosi\u0142 tytu\u0142\u00a0 <em><strong>Abstraction in Computer Science<\/strong><\/em>.<\/p>\n<p><strong>Abstract<\/strong><br \/>\nAbstraction in all its forms has played a substantial role in the design of programming languages. It has motivated the various language paradigms, and has inspired, and is manifested in, the rich type structure and machinery of control to be found in contemporary languages. These include specification schemas, procedural abstraction, inheritance, iteration, recursion, polymorphism, abstract data types, modules, and classes.<br \/>\nIn this talk we shall provide an analysis of computational abstraction inspired by Frege, and the recent work in the philosophy of mathematics due to Crispin Wright and Bob Hale.<\/p>\n<p>Seemingly, many of the singular terms that appear to refer to abstract entities are characterized by an abstraction principle of the following form:<\/p>\n<p>f(a) = f(b) if and only if R(a,b)<\/p>\n<p>Here R is an equivalence relation and f is a functional term. We shall work within a framework where programming languages are represented as type theories and abstraction involves the introduction of a new type of objects.<\/p>\n<p>\u2666\u00a0 <strong>Raymond Turner<\/strong> (ur. 1947) jest emerytowanym profesorem Uniwersytetu w Essex. Pracowa\u0142 tak\u017ce jako profesor wizytuj\u0105cy na Uniwersytecie Massachusetts-Amherst, Uniwersytecie Stanforda oraz Uniwersytecie Texas \u2013 Austin.<br \/>\nJego g\u0142\u00f3wn\u0105 specjalno\u015bci\u0105 naukow\u0105 jest logika oraz teoria i filozofia informatyki.<br \/>\nJest cz\u0142onkiem redakcji czasopisma Journal of Logic and Computation oraz Stanfordzkiej Encyklopedii Filozoficznej.<br \/>\nW 2017 roku Raymond Turner zosta\u0142 laureatem Covey Award \u2013 nagrody ustanowionej przez organizacj\u0119 International Association for Computing and Philosophy.<br \/>\nNajwa\u017cniejsze publikacje ksi\u0105\u017ckowe Raymonda Turnera to: Logics for Artificial Intelligence (1984), Truth and Modality for Knowledge Representation (1990), Constructive Foundations for Functional Languages (1991), Computable Models (2009), Computational Artefacts: Towards a Philosophy of Computer Science (2018).<\/p>\n","protected":false},"excerpt":{"rendered":"<p>Wyk\u0142ad b\u0119dzie nosi\u0142 tytu\u0142\u00a0 Abstraction in Computer Science. Abstract Abstraction in all its forms has played a substantial role in the design of programming languages. It has motivated the various language paradigms, and has inspired, and is manifested in, the &hellip; <a href=\"https:\/\/calculemus.org\/fi4\/wyklad-prof-turnera\/\">Czytaj dalej <span class=\"meta-nav\">&rarr;<\/span><\/a><\/p>\n","protected":false},"author":2,"featured_media":0,"parent":0,"menu_order":0,"comment_status":"closed","ping_status":"closed","template":"onecolumn-page.php","meta":[],"_links":{"self":[{"href":"https:\/\/calculemus.org\/fi4\/wp-json\/wp\/v2\/pages\/70"}],"collection":[{"href":"https:\/\/calculemus.org\/fi4\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/calculemus.org\/fi4\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/calculemus.org\/fi4\/wp-json\/wp\/v2\/users\/2"}],"replies":[{"embeddable":true,"href":"https:\/\/calculemus.org\/fi4\/wp-json\/wp\/v2\/comments?post=70"}],"version-history":[{"count":5,"href":"https:\/\/calculemus.org\/fi4\/wp-json\/wp\/v2\/pages\/70\/revisions"}],"predecessor-version":[{"id":113,"href":"https:\/\/calculemus.org\/fi4\/wp-json\/wp\/v2\/pages\/70\/revisions\/113"}],"wp:attachment":[{"href":"https:\/\/calculemus.org\/fi4\/wp-json\/wp\/v2\/media?parent=70"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}