Save 40% on Coursera Plus Annual

Class Central is learner-supported. When you buy through links on our site, we may earn an affiliate commission.

YouTube

Toward Formalizing Scientific Theories and Models Using Categorical Logic

Schmid College, Chapman University via YouTube

Start learning Write review
Datacamp Ad

Power BI Fundamentals - Create visualizations and dashboards from scratch

Learn More → Corporate Finance Institute Ad

35% Off Finance Skills That Get You Hired - Code CFI35

Learn More →

Overview

Coursera Spring Sale
40% Off Coursera Plus Annual!
Grab it
Explore the intersection of scientific theories, models, and categorical logic in this 57-minute conference talk by Evan Patterson from the Topos Institute. Delve into the potential for formalizing scientific concepts using advanced mathematical frameworks as part of Chapman University's inaugural Doctor of Science program conference. Gain insights from a world-renowned researcher in the fields of Mathematics and Philosophy of Science as he discusses innovative approaches to understanding and representing complex scientific ideas. Learn how categorical logic can be applied to enhance the precision and rigor of scientific theories and models across various disciplines.

Syllabus

Evan Patterson (Topos Inst.): Toward Formalizing Scientific Theories/Models Using Categorical Logic

Taught by

Schmid College, Chapman University

Reviews

Start your review of Toward Formalizing Scientific Theories and Models Using Categorical Logic

Start learning

Never Stop Learning.

Get personalized course recommendations, track subjects and courses with reminders, and more.

Sign up for free
Someone learning on their laptop while sitting on the floor.