Well-order

Formal sciences
Mathematics
Mathematical logic
Set theory

About
Privacy
Disclaimer

Graph Chatbot

Related lectures (23)

Page 2 of 3

Real Numbers: Sets and Operations

Covers the fundamental concepts related to real numbers, including sets, notations, and operations.

Mathematical Recursion: Induction and Recursion

Covers the principle of mathematical induction for proving propositions true for all positive integers.

Partial Ordering: Relations, Sequences, Summation

Introduces partial orderings, lattices, and lexicographic orderings on Cartesian products.

Type Classes: Basics and Implementation

Covers the basics of type classes in Scala, implementation examples, and advantages over class extension.

Quantum Field Theory II: Cross Section & Lifetime

Covers cross section, lifetime, quantum fluid, asymptotic states, discrete symmetries, and normal ordering in quantum field theory.

Strong Induction: Proof Method and Application

Explores strong induction as a proof method and demonstrates its application in proving a theorem about positive integers.

Logical Structure: Choice and Bar Induction Principles

Covers the logical structure of principles equivalent to choice and bar induction, focusing on generalized dependent choice and its implications in mathematics.

Untitled

Triangle Resolution: Trigonometry Basics

Covers the resolution of triangles using trigonometric functions to find missing sides and angles.

Developmental Perspective & Spatial Vision

Discusses babies' developmental perspective and spatial vision, covering cues, motion processing, stereopsis, and curriculum learning.