Location: Zoom Meeting https://hawaii.zoom.us/j/95463949444 Meeting ID: 954 6394 9444 Passcode: mathama
Time and place: Tuesday September 14, 10:30am in Holmes 247.
Speaker: Ellen Hughes, undergraduate student, UH Manoa.
Title: The interest equation in Lean
Abstract: We discuss how to solve the equation $y=x(1+i)^n$ for $i$ and for $n$ in the Lean proof assistant.
This is joint work with Monica Johnson, Ryan Sasaki and Prof. Kjos-Hanssen.
Covid-19 mitigation plan:
Participants will be required to show vaccination or testing status using the Lumisight app upon entry, observe 3ft social distancing, and to wear masks throughout.
Hope to see you there.
Computing from a pair of oracles one of which is useful
Topic: Modal logic