1 / 26

VISUALIZING and ANIMATING JL

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. The Problem. JL is a very simple calculus : Generators: {J, L, J/L} Rule: J/L . L ==> J

merlin
Download Presentation

VISUALIZING and ANIMATING JL

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