merlin
Uploaded by
26 SLIDES
402 VUES
260LIKES

Visualizing and Animating JL: A New Approach to Presenting Logic and Mathematics

DESCRIPTION

The JL calculus provides a novel framework for presenting logic, mathematics, and computer science through anthropomorphic images that resonate with industry professionals. This approach aims to motivate deeper exploration by using relatable concepts such as agents, actions, and intentions. By emphasizing structure and its significance in understanding complex topics, we can make the calculus appeal to a wider audience. Discover the implications of this revitalized perspective on logical frameworks and explore its potential in educational and professional settings.

1 / 26

Download Presentation
Télécharger la présentation

Visualizing and Animating JL: A New Approach to Presenting Logic and Mathematics

An Image/Link below is provided (as is) to download presentation Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author. Content is provided to you AS IS for your information and personal use only. Download presentation by click this link. While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server. During download, if you can't get a presentation, the file might be deleted by the publisher.

E N D

Presentation Transcript

  1. VISUALIZING and ANIMATING JL A Revolutionary Proposal for the Presentation of Logic, Mathematics and Computer Science Peter van Emde Boas & Frans Zwarts Utrecht, August 12, 1999

  2. The Problem JL is a very simple calculus: Generators: {J, L, J/L} Rule: J/L . L ==> J Problem: How to motivate people to investigate this calculus (and similar calculi)???

  3. The Key Observation • People in industry use an informal language, invoking Anthropomorphic Notions: Agents, Actions, Intentions, Desires, Competition, Cooperation, … • People in industry succeed!!! • Therefore: Base your calculus on Anthropomorphic Images!

  4. ? ? The JL Calculus; Revised J: L: J/L: RULE: ==>

  5. CONSEQUENCES • You can get what you want for free • We have derived the desired object • No razor needed to remove a beard • What more evidence do you require?

  6. Extending the Project • Objects by themselves are not interesting • Structure is important • Structure is determined up-to isomorphism, bisimulation, …. • So we need to investigate the type structure ….

  7. Type 013: The sweetest boy in town

  8. Type 021: The elder brother

  9. Type 031: Most likely to succeed

  10. Type 039: Mr. Wise Guy

  11. Type 050: Deeply in love

  12. Type 051: Going public

  13. Type 098: Plan Q65 ?

  14. Type 112: Testing the stage

  15. Type 113: Once in a lifetime...

  16. Type 114: Those were the days

  17. Type 115: You deserve it

  18. Type 116: Family man

  19. Type 144: Amongst friends

  20. Type 178: Pater Familias

  21. Type 219: Favorite speaker Categorial Grammars: 1987 Logic @ home: 1987 ESSLLI 99: 19990812 REX Workshop: 1988 JELIA: 1990 LC99: 19990803

  22. Type 225: Governor 19870211 19870909 19880914 19910911

  23. Type 244: AMC Bobo AMC 04: 1982 AMC 05: 1984 AMC 06: 1987 AMC 07: 1989 AMC 03: 1980 AMC 08: 1991 AMC 09: 1993 AMC 10: 1995 AMC 11: 1997 AMC 12: 1999

  24. Type 279: President NV Logica NVL: 1982 NVL: 1983

  25. Type 289: Receiving the Liber ESSLLI 99: 19990812

  26. The Grand Finale The Name JL was in Latin It Should Read J50 ! But That’s a Different Project …..

More Related
SlideServe
Audio
Live Player
Audio Wave
Play slide audio to activate visualizer
Slide 1

Sea Ice

Slide Player

AI NARRATOR Slide 1 of 12

Sea Ice

0:00 0:15