Automated Reasoning in LabVIEW, and Some Elementary Thoughts on Proof
Theoretic Methods for Automating Interpretability

Grant Passmore

My talk will be quite elementary - I'll just give an introduction to
what I'm working on as to automated reasoning for National
Instruments' data-flow driven programming language, LabVIEW, and show
some examples of my approaches and little milestones thus far.  I'll
also maybe touch on some approaches I'm working on as to automating
interpretability between different logics, and maybe a bit as to my
work on formalizing fundamental results in proof theory (especially
Gentzen- style ordinal analysis and Hilbert's epsilon substitution
method) to automate the discovery of relative strengths and
combinatorial independencies of combined systems.