Ockham algebras | Algebraic logic

Ockham algebra

In mathematics, an Ockham algebra is a bounded distributive lattice with a dual endomorphism, that is, an operation ~ satisfying ~(x ∧ y) = ~x ∨ ~y, ~(x ∨ y) = ~x ∧ ~y, ~0 = 1, ~1 = 0. They were introduced by , and were named after William of Ockham by . Ockham algebras form a variety. Examples of Ockham algebras include Boolean algebras, De Morgan algebras, Kleene algebras, and Stone algebras. (Wikipedia).

Video thumbnail

Linear Transformations: Onto

Linear Algebra: Continuing with function properties of linear transformations, we recall the definition of an onto function and give a rule for onto linear transformations.

From playlist MathDoctorBob: Linear Algebra I: From Linear Equations to Eigenspaces | CosmoLearning.org Mathematics

Video thumbnail

10A An Introduction to Eigenvalues and Eigenvectors

A short description of eigenvalues and eigenvectors.

From playlist Linear Algebra

Video thumbnail

Abstract Algebra: The definition of a Ring

Learn the definition of a ring, one of the central objects in abstract algebra. We give several examples to illustrate this concept including matrices and polynomials. Be sure to subscribe so you don't miss new lessons from Socratica: http://bit.ly/1ixuu9W ♦♦♦♦♦♦♦♦♦♦ We recommend th

From playlist Abstract Algebra

Video thumbnail

Linear Algebra Proofs 15a: Eigenvectors with the Same Eigenvalue Form a Linear Space

This course is on Lemma: http://lem.ma Lemma looking for developers: http://lem.ma/jobs Other than http://lem.ma, I recommend Strang http://bit.ly/StrangYT, Gelfand http://bit.ly/GelfandYT, and my short book of essays http://bit.ly/HALAYT Questions and comments below will be prompt

From playlist Linear Algebra Proofs

Video thumbnail

Example of Fourier's Trick

Linear Algebra: Given an orthonormal basis of R^n, we present a quick method for finding coefficients of linear combination in terms of the basis. We also give an analogue of Parseval's Identity, which relates these coefficients to the squared length of the vector.

From playlist MathDoctorBob: Linear Algebra I: From Linear Equations to Eigenspaces | CosmoLearning.org Mathematics

Video thumbnail

Group Definition (expanded) - Abstract Algebra

The group is the most fundamental object you will study in abstract algebra. Groups generalize a wide variety of mathematical sets: the integers, symmetries of shapes, modular arithmetic, NxM matrices, and much more. After learning about groups in detail, you will then be ready to contin

From playlist Abstract Algebra

Video thumbnail

Algebra for Beginners | Basics of Algebra

#Algebra is one of the broad parts of mathematics, together with number theory, geometry and analysis. In its most general form, algebra is the study of mathematical symbols and the rules for manipulating these symbols; it is a unifying thread of almost all of mathematics. Table of Conten

From playlist Linear Algebra

Video thumbnail

Teach Astronomy - Problems With Greek Cosmology

http://www.teachastronomy.com/ The Greek geocentric cosmology of Aristotle, as propagated by Ptolemy, was highly complex in trying to explain the motions within the solar system. Because the planets do not have uniform motion, the model needed the centers of their motion to be displaced f

From playlist 03. Concepts and History of Astronomy and Physics

Video thumbnail

A brief History of Logic: Medieval and Arabic Logic | Math Foundations 253 | N J Wildberger

We examine how Aristotle's work on logic came to dominate both medieval and Arabic work on the subject. An important contributor to this development was Boethius (477-524 A.D) who translated Aristotle and made commentary on it. While the Dark Ages in Europe was not conducive to scientific

From playlist Boole's Logic and Circuit Analysis

Video thumbnail

"Craziest Cults" Show Open (Episode 6) | Join or Die with Craig Ferguson | History

Check out Craig's opening monologue from Episode 6, "History's Craziest Cults" on Join or Die, Thursdays 11/10c Subscribe for more from Join or Die and other great HISTORY shows: http://histv.co/SubscribeHistoryYT Find out more about the show and watch full episodes on our site: http://w

From playlist Join or Die with Craig Ferguson | Official Series Playlist | History

Video thumbnail

RNT1.4. Ideals and Quotient Rings

Ring Theory: We define ideals in rings as an analogue of normal subgroups in group theory. We give a correspondence between (two-sided) ideals and kernels of homomorphisms using quotient rings. We also state the First Isomorphism Theorem for Rings and give examples.

From playlist Abstract Algebra

Video thumbnail

14O The nth Root of a Number

The nth root of a number.

From playlist Linear Algebra

Video thumbnail

Medieval Philosophy - Bryan Magee & Anthony Kenny (1987)

In this program, Anthony Kenny discusses Medieval Philosophy with Bryan Magee. This is an episode from a 1987 series on the Great Philosophers. 00:00 Introduction 03:59 Augustine vs Aquinas 06:05 Universities & Disputation 09:49 Mostly British? 12:23 Reconciling Ancient Philosophy with Ch

From playlist Bryan Magee Interviews - The Great Philosophers (1987)

Video thumbnail

PHL 354 422-13

Lecture 34, Duns Scotus and William of Ockham, of PHL 354/CTI 335, History of Christian Philosophy, The University of Texas at Austin, Spring 2013

From playlist UT Austin: History of Christian Philosophy | CosmoLearning.org Philosophy

Video thumbnail

A Defense of Classical Theology (Part 1): The New Atheism and the Cosmological Arguments

In part 1, I will go over the major misconceptions of the cosmological arguments promulgated by the likes of popular atheists such as Daniel Dennett, Sam Harris, Christopher Hitchens, and Richard Dawkins. We’ll conclude that their objections, which are also the most common ones in popular

From playlist Theology

Video thumbnail

Religion Vs Evolution (ft. the Messianic Manic) - Philosophy Tube

Can you believe in both evolution and God? Let me and the Messianic Manic help you out! Messianic Manic’s Half of the Collab: http://tinyurl.com/pko4vnr Ockham’s Razor: http://tinyurl.com/pauxqo7 Was the Universe Designed? http://tinyurl.com/pxea4pc Subscribe! http://www.youtube.com/subs

From playlist A-Level Philosophy

Video thumbnail

What is Ockham's Razor? - Gentleman Thinker

The simplest explanation is usually the correct one? Or is it more complex than that? Gentleman Thinker playlist: https://www.youtube.com/watch?v=94YV6Lu009k&list=PLvoAL-KSZ32cKobolNFwuqcPJ26cmF_11&index=1 Facebook: https://www.facebook.com/PhilosophyTube?ref=hl Twitter: https://twitter.

From playlist KNOWLEDGE, LOGIC, & RELIGION

Video thumbnail

Logic: The Structure of Reason

As a tool for characterizing rational thought, logic cuts across many philosophical disciplines and lies at the core of mathematics and computer science. Drawing on Aristotle’s Organon, Russell’s Principia Mathematica, and other central works, this program tracks the evolution of logic, be

From playlist Logic & Philosophy of Mathematics

Video thumbnail

Intro to Functions

As part of the college algebra series, this Center of Math video will teach you the basics of functions, including how they're written and what they do.

From playlist Basics: College Algebra

Related pages

Variety (universal algebra) | De Morgan algebra | Duality (order theory) | Boolean algebra | Stone algebra | Aequationes Mathematicae | Distributive lattice