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
GetSmarter Ad

Most AI Pilots Fail to Scale. MIT Sloan Teaches You Why — and How to Fix It

Learn More → University of the People Ad

Earn Your Business Degree, Tuition-Free, 100% Online!

Learn More →

Overview

Google, IBM & Meta Certificates — All 10,000+ Courses at 40% Off
One annual plan covers every course and certificate on Coursera. 40% off for a limited time.
Get Full Access
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.