Show simple item record

dc.creatorFriedman, Harvey, 1948-
dc.date.accessioned2008-05-08T17:30:03Z
dc.date.available2008-05-08T17:30:03Z
dc.date.issued2008-04-23
dc.identifier.urihttp://hdl.handle.net/1811/32005
dc.descriptionRequires RealPlayer or Windows Media Player to view.en_US
dc.descriptionThe University Archives has determined that this item is of continuing value to OSU's history.en_US
dc.description.abstractThe origins of Logic, as the science of reasoning, are grounded in the work of Aristotle (384-322 BC). The subject remained largely dormant until the explosive developments by the philosopher Gottlob Frege (1848-1925), through his Begriffsschrift or Concept Script (1879), Foundations of Arithmetic (1884), and Basic Laws of Arithmetic (1893, 1903). Frege’s work was followed by the pioneering work of Bertrand Russell (1902, 1908), David Hilbert (1902), Ernst Zermelo (1908), and Abraham Fraenkel (1922). Their work culminated with our present foundations of mathematics through the formalism known as ZFC (Zermelo Fraenkel set theory with the axiom of choice). This early work firmly established the position of Logic in Philosophy and laid the groundwork for the spectacular advances of Kurt Gödel (completeness and incompleteness, 1928-1940) and Alfred Tarski (real closed fields and elementary geometry 1951, 1959), firmly establishing the position of Logic in Mathematics. The pioneering insights of Alan Turing (models of computation, 1936), developed in the context of the Gödel era, have led to the position of Logic in Theoretical Computer Science. In Applied Computer Science, Logic is a driving force behind developments in hardware and software verification, programming language design, and software engineering—active areas in the Department of Computer Science and Engineering at The Ohio State University. Practical uses of Logic in computer-assisted education starting with Patrick Suppes (1968-1980, currently EPGY), and continuing through the Syrus Project at Ohio State, promise to establish the position of Logic in Education. We will discuss these interdisciplinary adventures in mathematics, philosophy, computer science, and education.en_US
dc.description.tableofcontentsIntroduction by Joe Aluto, Executive Vice President & Provost of The Ohio State University (0:00:00-0:02:38) -- Introduction by E. Gordon Gee, President, The Ohio State University (0:02:39-0:06:00) -- Presentation (0:06:01-0:52:13) -- Questions moderated by Neil Tennant, Professor, Department of Philosophy (0:52:14-0:59:12)en_US
dc.format.extentDuration: 00:59:12
dc.language.isoen_USen_US
dc.publisherOhio State Universityen_US
dc.relation.ispartofseriesThe Ohio State University Distinguished Lectureen_US
dc.rightsThis object may be copyright-protected. Permission to reuse, publish or reproduce the object must be obtained from the object publisher or copyright holder.
dc.titleLogic: Interdisciplinary Adventures in Mathematics, Philosophy, Computer Science, and Educationen_US
dc.typeImageen_US
dc.typePresentationen_US
dc.typeVideoen_US
dc.typeOtheren_US
dc.rights.ccAttribution-NonCommercial-NoDerivs 3.0 Unporteden_US
dc.rights.ccurihttp://creativecommons.org/licenses/by-nc-nd/3.0/en_US


Files in this item

Thumbnail
Thumbnail
Thumbnail
Thumbnail

Items in Knowledge Bank are protected by copyright, with all rights reserved, unless otherwise indicated.

This item appears in the following Collection(s)

Show simple item record

Attribution-NonCommercial-NoDerivs 3.0 Unported
Except where otherwise noted, this item's license is described as Attribution-NonCommercial-NoDerivs 3.0 Unported