Computability theory

Computably inseparable

In computability theory, two disjoint sets of natural numbers are called computably inseparable or recursively inseparable if they cannot be "separated" with a computable set. These sets arise in the study of computability theory itself, particularly in relation to Π01 classes. Computably inseparable sets also arise in the study of Gödel's incompleteness theorem. (Wikipedia).

Video thumbnail

When Does Exponentiation Commute? (Part 1)

In this video, I'll show how one can find pairs of numbers that can be commuted under exponentiation. That is, we can find pairs of numbers such that x^y = y^x. We will take this equation, x^y = y^x and parametrize it to find these (x,y) pairs. It turns out that there are infinitely many n

From playlist Math

Video thumbnail

Proving a Relation is an Equivalence Relation | Example 2

In this video, we practice another example of proving a relation is in fact an equivalence relation. Enjoy! Instagram: https://www.instagram.com/braingainzofficial

From playlist Proofs

Video thumbnail

The Difference Between a Linear Equation and Linear Inequality (Two Variables)

This video explains the difference between a linear equation and linear inequality in two variables.

From playlist Solving Linear Inequalities in Two Variables

Video thumbnail

Prove or Disprove if the Function is Injective

Prove or Disprove if the Function is Injective If you enjoyed this video please consider liking, sharing, and subscribing. You can also help support my channel by becoming a member https://www.youtube.com/channel/UCr7lmzIk63PZnBw3bezl-Mg/join Thank you:)

From playlist Functions, Sets, and Relations

Video thumbnail

Groups that commute Lesson 27

You might find that for certain groups, the commutative property hold. In this video we will assume the existence of such a group and prove a few properties that it may have, by way of some example problems.

From playlist Abstract algebra

Video thumbnail

Determine if an Ordered Pair is a Solution to a System of Linear Inequalities

This video explains how to determine if an ordered pair is a solution to a system of linear inequalities. http://mathispower4u.com

From playlist Solving Systems of Linear Inequalities

Video thumbnail

How to Prove a Function is Injective(one-to-one) Using the Definition

Please Subscribe here, thank you!!! https://goo.gl/JQ8Nys How to prove a function is injective. Injective functions are also called one-to-one functions. This is a short video focusing on the proof.

From playlist Proofs

Video thumbnail

CTNT 2020 - Curves over Finite Fields (by Soumya Sankar) - Lecture 4

The Connecticut Summer School in Number Theory (CTNT) is a summer school in number theory for advanced undergraduate and beginning graduate students, to be followed by a research conference. For more information and resources please visit: https://ctnt-summer.math.uconn.edu/

From playlist CTNT 2020 - Curves over Finite Fields (by Soumya Sankar)

Video thumbnail

Solving Inequalities | Algebra | Maths | FuseSchool

In this video we’re going to look at how to solve inequalities. You should already know what these 4 symbols mean. Inequalities are used throughout life. Anytime that there are a range of values possible, inequalities are involved rather than an equals sign. Like if you’re calculating

From playlist MATHS

Video thumbnail

Irene Bouw, Belyi maps in positive characteristic

VaNTAGe seminar, September 28, 2021 License: CC-BY-NC-SA

From playlist Belyi maps and Hurwitz spaces

Video thumbnail

Learn with Experts 1: Professor Dan Douglas on Testing for Specific Purposes

Learn with Experts is a special section of the Statistics and Theory Channel. Experts in language assessment, applied linguistics, bilingualism, and second language acquisition are invited to present on a topic in their area of expertise. The first guest speaker of the series is Professor

From playlist Learn with Experts

Video thumbnail

Perfect points on abelian varieties in positive characteristic. - Rössler - Workshop 2 - CEB T2 2019

Damian Rössler (University of Oxford) / 24.06.2019 Perfect points on abelian varieties in positive characteristic. Let K be the function field over a smooth curve over a perfect field of characteristic p 0. Let Kperf be the maximal purely inseparable extension of K. Let A be an abelian

From playlist 2019 - T2 - Reinventing rational points

Video thumbnail

What is an Injective Function? Definition and Explanation

An explanation to help understand what it means for a function to be injective, also known as one-to-one. The definition of an injection leads us to some important properties of injective functions! Subscribe to see more new math videos! Music: OcularNebula - The Lopez

From playlist Functions

Video thumbnail

A Semistable Model for the Tower of Modular Cures - Jared Weinstein

Jared Weinstein Institute for Advanced Study October 27, 2010 The usual Katz-Mazur model for the modular curve X(pn)X(pn) has horribly singular reduction. For large n there isn't any model of X(pn)X(pn) which has good reduction, but after extending the base one can at least find a semista

From playlist Mathematics

Video thumbnail

Elliptic Curves - Lecture 5c - Ramification

This video is part of a graduate course on elliptic curves that I taught at UConn in Spring 2021. The course is an introduction to the theory of elliptic curves. More information about the course can be found at the course website: https://alozano.clas.uconn.edu/math5020-elliptic-curves/

From playlist An Introduction to the Arithmetic of Elliptic Curves

Video thumbnail

Ekaterina Amerik: Rational curves and contraction loci on holomorphic symplectic manifolds

VIRTUAL LECTURE RECORDED DURING SOCIAL DISTANCING Recording during the meeting "Varieties with Trivial Canonical Class " the April 06, 2020 by the Centre International de Rencontres Mathématiques (Marseille, France) Filmmaker: Guillaume Hennenfent Find this video and other talks given by

From playlist Virtual Conference

Video thumbnail

Material Optimization in Space-Time and Dynamic Materials by Konstantin Lurie

DISCUSSION MEETING Multi-Scale Analysis: Thematic Lectures and Meeting (MATHLEC-2021, ONLINE) ORGANIZERS: Patrizia Donato (University of Rouen Normandie, France), Antonio Gaudiello (Università degli Studi di Napoli Federico II, Italy), Editha Jose (University of the Philippines Los Baño

From playlist Multi-scale Analysis: Thematic Lectures And Meeting (MATHLEC-2021) (ONLINE)

Video thumbnail

Galois theory: Separable extensions

This lecture is part of an online graduate course on Galois theory. We define separable algebraic extensions, and give some examples of separable and non-separable extensions. At the end we briefly discuss purely inseparable extensions.

From playlist Galois theory

Video thumbnail

Chern numbers of families of algebraic curves and ordinary differential equations by Sheng-Li Tan

Algebraic Surfaces and Related Topics PROGRAM URL : http://www.icts.res.in/program/AS2015 DESCRIPTION : This is a joint program of ICTS with TIFR, Mumbai and KIAS, Seoul. The theory of surfaces has been the cradle to many powerful ideas in Algebraic Geometry. The problems in this area

From playlist Algebraic Surfaces and Related Topics

Video thumbnail

(New Version Available) Compound Inequalities

New version: https://youtu.be/U20Dp4lPVoo http://mathispower4u.wordpress.com/

From playlist Linear and Absolute Value Inequalities

Related pages

Gödel numbering | Computability theory | Computable set