Class Central

Rankings
Collections

Subjects

View all

Computer Science
Health & Medicine
Mathematics
Business
Humanities
Engineering
Science
Education & Teaching
Social Sciences
Art & Design
Artificial Intelligence
Data Science
Programming
Personal Development
Information Security (InfoSec)

View all Subjects

Universities
The Report

Courses from 1000+ universities

Rankings

Best Courses

Best of All Time
Best of the Year

Most Popular Courses

Most Popular of All Time
Most Popular of the Year

Collections

Computer Science

Algorithms and Data Structures
Internet of Things
Information Technology
Computer Networking
Machine Learning
DevOps
Deep Learning
Cryptography
Quantum Computing
Human-Computer Interaction (HCI)
Distributed Systems
Blockchain Development
Operating Systems
Computer Graphics
Automata Theory
Compilers
SCADA
Mainframe
Digital Image Processing
Computational Models
View all Computer Science

Health & Medicine

Nutrition & Wellness
Disease & Disorders
Public Health
Health Care
Nursing
Anatomy
Veterinary Science
Continuing Medical Education (CME)
Blood Pressure
Wellbeing
Women's Health
Dysphagia
Occupational Therapy
Hygiene
Healthcare Innovation
Music Therapy
Holistic Health
Ayurveda
Herbalism
Massage Therapy
View all Health & Medicine

Mathematics

Statistics & Probability
Foundations of Mathematics
Calculus
Discrete Mathematics
Trigonometry
Geometry
Algebra
Precalculus
Number Theory
Combinatorics
Mathematical logic
Linear Programming
Graph Theory
Set Theory
Group Theory
Differential Equations
Polynomials
Integration
Mathematical Analysis
Mathematical Thinking
View all Mathematics

Business

Management & Leadership
Finance
Entrepreneurship
Marketing
Strategic Management
Industry Specific
Business Intelligence
Accounting
Human Resources
Project Management
Sales
Design Thinking
Business Software
Customer Service
Nonprofit Management
Innovation
Operations Management
Corporate Governance
Business Plan
Business Proposal
View all Business

Humanities

History
Literature
Language Learning
Grammar & Writing
Philosophy
Religion
ESL
Culture
Sports
Journalism
Ethics
Linguistics
Food
Library Science
Reading
Crisis Management
Games
Emergency Management
Performing Arts
Religious Studies
View all Humanities

Engineering

Electrical Engineering
Mechanical Engineering
Civil Engineering
Robotics
Nanotechnology
GIS
Textiles
Manufacturing
BIM
CAD
Chemical Engineering
Energy Systems
Aerospace Engineering
Finite Element Analysis
Geotechnical Engineering
Reliability Engineering
Petroleum Engineering
Control Theory
Environmental Engineering
Energy Conversion
View all Engineering

Science

Chemistry
Physics
Environmental Science
Astronomy
Biology
Agriculture
Materials Science
Earth Science
Applied Science
Forensic Science
Meteorology
Horology
Paleontology
Fire Science
Sensory Science
Ergonomics
Physical Sciences
Complex Systems
Scientific Method
Medicine
View all Science

Education & Teaching

K12
Higher Education
STEM
Teacher Professional Development
Course Development
Online Education
Pedagogy
Social-emotional Learning (SEL)
Instructional Design
Homeschooling
Special Education
Adult Education
Course Design
Online Learning
Educational Technology
Curriculum Development
Next Generation Science Standards
Student-Centered Learning
Student Engagement
Classroom Management
View all Education & Teaching

Social Sciences

Sociology
Economics
Psychology
Anthropology
Political Science
Law
Urban Planning
Human Rights
Sustainability
Governance
Archaeology
Social Work
Early Childhood Development
Structural Equation Modeling
Cultural Studies
Research Methods
Community Engagement
Philanthropy
Behavioral Science
Media Studies
View all Social Sciences

Art & Design

Music
Digital Media
Visual Arts
Design & Creativity
Photography
Art Therapy
Art Composition
Character Design
Fashion Design
Inspiration
Golden Ratio
Pattern Design
Geometric Patterns
Copic Markers
Jewelry Design
Animal Illustration
Anime Drawing
Street Art
Observational Drawing
Greeting Cards
View all Art & Design

Artificial Intelligence

Computer Vision
Natural Language Processing (NLP)
Neural Networks
Autonomous Vehicles
Chatbot
IBM Watson
Generative AI
Intelligent Systems
Genetic Algorithms
Intelligence
Heuristics
Ontology
Collective Intelligence
Autonomous Agents
Constraint Programming
AI Ethics
Semantics
Computational Linguistics
Computational Creativity
Evolutionary Algorithms
View all Artificial Intelligence

Data Science

Bioinformatics
Big Data
Data Mining
Data Analysis
Data Visualization
Jupyter Notebooks
Process Mining
Stata
Text Mining
Social Network Analysis
Computational Analysis
Data Collection
Information Retrieval
Data Processing
Data Wrangling
Data Extraction
Data Manipulation
Monte Carlo Simulation
Network Analysis
Data Preparation
View all Data Science

Programming

Mobile Development
Web Development
Databases
Game Development
Programming Languages
Software Development
Cloud Computing
Domain-Specific Languages (DSL)
Hardware Description Languages (HDL)
Aspect-oriented programming
Object-oriented programming
Visual Programming
Competitive Programming
Database Programming
Generic Programming
Programming Language Development
Leetcode
GNU Toolchain
Windsurf
Vibe Coding
View all Programming

Personal Development

Communication Skills
Career Development
Self Improvement
Presentation Skills
Resilience
Self-Control
Creativity
Gratitude
Growth Mindset
Self-Assessment
Survival Skills
Sleep Improvement
Career Planning
Empowerment
Generosity
Personal Growth
Courage
Humility
Social Skills
Dog Training
View all Personal Development

Information Security (InfoSec)

Cybersecurity
Network Security
Ethical Hacking
Digital Forensics
Reverse Engineering
Penetration Testing
Malware Analysis
DevSecOps
OSINT (Open Source Intelligence)
Threat Intelligence
Red Team
Blue Team
View all Information Security (InfoSec)

The Series Finale of Online Education: Coursera Acquires Udemy

$7.2 billion in combined revenue since 2020. $8 billion in lost market value. This merger marks the end of an era in online education.

Dhawal Shah Feb 11, 2026

Latest

9 Best Delphi Courses for 2026: Effortless Cross-Platform GUIs
8 Best Anthropology Courses for 2026: Understanding Cultures
10 Best CSS Animation Courses for 2026: Bring HTML to Life
9 Best Bug Bounty Courses for 2026: Ethical Hacking, Safer Web
UpGrad to Acquire Unacademy, Once a $3.5B Unicorn, in a Share Swap Deal

Write for The Report

Visit The Report

600 Free Google Certifications
Trending

Most common

Popular subjects

Machine Learning
26,564 courses
Python
13,391 courses
Microsoft Excel
2,254 courses

Popular courses

Intelligenza Artificiale
University of Urbino
Python for Data Science
University of California, San Diego
Introduction to Philosophy
University of Edinburgh

Organize and share your learning with Class Central Lists.

View our Lists Showcase

Sign up

Log in or Sign up

Log in
Sign up

Subjects
Mathematics
Mathematical logic

Free Online

Mathematical logic Courses and Certifications

Master formal reasoning, proof techniques, and set theory to build rigorous mathematical foundations. Explore paradoxes, Boolean algebra, and logical structures through courses on YouTube, Coursera, and Brilliant, developing critical thinking skills essential for mathematics, computer science, and philosophy.

513 courses

Related Subjects

Mathematics Courses
Set Theory Courses
Computer Science Courses
Artificial Intelligence Courses
Philosophy Courses
Discrete Mathematics Courses
Boolean Algebra Courses
First-Order Logic Courses

Showing 513 courses

Sort by Relevancy

Filter by

Filters

1. With certificate (33)
2. Free course (492)
3. With free certificate (2)
4. University course only (35)
Level
1. Advanced (399)
2. Intermediate (67)
3. Beginner (26)
Duration
1. < 30 mins (85)
2. 30 - 60 mins (194)
3. 1 - 2 hours (166)
4. 2 - 5 hours (13)
5. 5 - 10 hours (8)
6. 10+ hours (25)
Language
1. English (473)
2. Chinese (14)
3. Czech (1)
4. French (7)
5. German (3)
6. Japanese (3)
7. Portuguese (8)
8. Russian (3)
9. Spanish (3)
10. Turkish (1)

Hausdorff Center for Mathematics
Computing with Gödel's Completeness Theorem

Explore computational approaches to Gödel's completeness theorem, including Krivine's "exploding models," A-translation, and Kripke forcing, with insights on reifying validity proofs into derivability proofs.
- YouTube
- 46 minutes
- On-Demand
- Free Video
Hausdorff Center for Mathematics
Two Observations on Intuitionistic Logic and Arithmetic

Explore intuitionistic logic and arithmetic through finite type formalisation and negative translations. Gain insights into extensional and intensional models, decidable atomic formulas, and equality at higher types.
- YouTube
- 36 minutes
- On-Demand
- Free Video
Hausdorff Center for Mathematics
First Order Concatenation Theory vs First Order Number Theory

Comparative analysis of first-order concatenation theory and number theory, exploring similarities, differences, and extensions with bounded quantifiers in string-based structures.
- YouTube
- 28 minutes
- On-Demand
- Free Video
Hausdorff Center for Mathematics
Matthias Baaz - Fast Cut Elimination in Intuitionistic Logic

Explores elementary procedure for eliminating prenex cuts in intuitionistic logic, with implications for classical logic. Discusses surprising results in quantifier-based cut elimination.
- YouTube
- 37 minutes
- On-Demand
- Free Video
Hausdorff Center for Mathematics
The Absorption Law for Slow Provability

Explore the absorption law for slow provability, its simple proof, and application to Heyting Arithmetic's provability logic in this mathematical lecture by Albert Visser.
- YouTube
- 31 minutes
- On-Demand
- Free Video
Hausdorff Center for Mathematics
Reverse Mathematics of Caristi's Fixed Point Theorem and Ekeland's Variational Principle

Explore the mathematical strengths of Caristi's fixed point theorem and Ekeland's variational principle, examining their implications in complete separable metric spaces and their connections to various axiom systems.
- YouTube
- 33 minutes
- On-Demand
- Free Video
Hausdorff Center for Mathematics
Hugo Herbelin- Investigations into Cubical Type Theory

Exploration of a variant of cubical type theory with type-based equality, direct coercion, and primitive composition, aiming for a parametricity translation to identity type theory.
- YouTube
- 1 hour 2 minutes
- On-Demand
- Free Video
Hausdorff Center for Mathematics
Ulrich Kohlenbach: Extraction of Information from Proofs

Explore proof mining techniques and their applications in mathematics, focusing on extracting computational content from nonconstructive proofs in analysis and ergodic theory.
- YouTube
- 57 minutes
- On-Demand
- Free Video
Hausdorff Center for Mathematics
Ulrich Kohlenbach - Extraction of Information from Proofs

Explore proof theory and its applications in mathematics, focusing on extracting computational content from nonconstructive proofs for practical problem-solving.
- YouTube
- 1 hour 6 minutes
- On-Demand
- Free Video
Fields Institute
Abstract Formalities

Explore abstract formalities in mathematics with Johan Commelin, delving into advanced concepts and their applications in modern algebraic geometry and number theory.
- YouTube
- 1 hour 10 minutes
- On-Demand
- Free Video
Paul G. Allen School
On Making Mathematical Proof a Business - Allen School Distinguished Lecture

Explore how Amazon leverages automated reasoning and mechanized proof search in mathematical logic for software development, with insights on challenges and future scalability.
- YouTube
- 1 hour 11 minutes
- On-Demand
- Free Video
Churchill CompSci Talks
Kolmogorov Complexity and Gödel's Incompleteness Theorems

Explore Kolmogorov complexity, randomness, and compressibility in data, and discover their surprising connections to Gödel's incompleteness theorems in mathematical logic.
- YouTube
- 26 minutes
- On-Demand
- Free Video
Hausdorff Center for Mathematics
David Cerna: Proof Schema and the Refutational Complexity of Their Cut Structure

Explore proof schemas, refutational complexity, and cut structures in mathematical logic. Gain insights into CERES, ECA, and 1-SMA concepts for advanced theorem proving techniques.
- YouTube
- 39 minutes
- On-Demand
- Free Video
Fields Institute
Decidability Bounds for Presburger Arithmetic Extended by Sine

Explore decidability bounds in extended Presburger arithmetic with sine, covering previous results, methods, and the Channel conjecture in this mathematical seminar.
- YouTube
- 46 minutes
- On-Demand
- Free Video
Fields Institute
Tameness Beyond O-Minimality - Lecture 1

Explore advanced mathematical concepts beyond o-minimality, including real fields, partial orders, and postminimality in this graduate-level lecture on tame phenomena.
- YouTube
- 1 hour 28 minutes
- On-Demand
- Free Video

Browse by subject

Computer Science
Psychology
Cybersecurity
Health
Law
Accounting
Web Development

Browse by provider

Coursera
Udacity
edX
Noble Desktop
freeCodeCamp
CodeSignal
Boot.dev

Browse by university

Harvard
MIT
Georgia Tech
University of Michigan
Purdue University
Duke University
IIT Madras

Browse by institution

Google
Microsoft
IBM
Amazon
Linux Foundation
British Council
Salesforce

Best Online Courses of All Time
Best Online Courses of the Year
Most Popular Courses of All Time
Most Popular Courses of the Year
100 Top FREE Coursera Courses of All Time
Best Courses Guides
Free Printable Study Calendar

The Report by Class Central RSS Feed

The "New Normal" that Wasn't
DDoS Attack on Class Central
2000+ Online Degrees in India
Harvard's CS50 Free Certificate Guide
How Open University Works

Free Certificates & Courses

450+ Free Google Certificates
10000+ Free Courses from Tech Giants
300+ Free Coursera Courses
Ivy League Online Courses
200+ Free Writing Online Courses

About Class Central

Class Central aggregates courses from many providers to help you find the best courses on almost any subject, wherever they exist.

Facebook
Twitter
LinkedIn
YouTube
Bluesky

Class Central © 2011-2026 Privacy Policy

About Us
Join Us
Write for Us
Help Center
Contact Us

Share

Facebook
Twitter
Bluesky
Email

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.