Infinity | Constructivism (mathematics)

Finitism

Finitism is a philosophy of mathematics that accepts the existence only of finite mathematical objects. It is best understood in comparison to the mainstream philosophy of mathematics where infinite mathematical objects (e.g., infinite sets) are accepted as legitimate. (Wikipedia).

Video thumbnail

What Is Narcissism?

Narcissism is the word we routinely use to describe someone self-satisfied and arrogant. But what do we really mean by the word – and are we applying it correctly? If you like our films, take a look at our shop (we ship worldwide): https://goo.gl/YfXSQO Join our mailing list: http://bit.ly

From playlist SELF

Video thumbnail

The BuShou of HanZi :禾

A brief description of the BuShou of 禾.

From playlist The BuShou of HanZi

Video thumbnail

The BuShou of HanZi :囗

A brief description of the BuShou of 囗.

From playlist The BuShou of HanZi

Video thumbnail

Wisdom

Philosophy means, in Ancient Greek, the love of wisdom. But the word wisdom can sound very big and forbidding; what does it really mean to be wise? And how might we consciously strive to be a little wiser? If you like our films take a look at our shop (we ship worldwide): http://www.thesch

From playlist SELF

Video thumbnail

The BuShou of HanZi :耳

A brief description of the BuShou of 耳.

From playlist The BuShou of HanZi

Video thumbnail

The BuShou of HanZi :宀

A brief description of the BuShou of 宀.

From playlist The BuShou of HanZi

Video thumbnail

The BuShou of HanZi :舌

A brief description of the BuShou of 舌.

From playlist The BuShou of HanZi

Video thumbnail

The BuShou of HanZi :片

A brief description of the BuShou of 片.

From playlist The BuShou of HanZi

Video thumbnail

The BuShou of HanZi :目

A brief description of the BuShou of 目.

From playlist The BuShou of HanZi

Video thumbnail

Schemes 17: Finite, quasifinite

This lecture is part of an online algebraic geometry course on schemes, based on chapter II of "Algebraic geometry" by Hartshorne. We define finite morphisms, and attempt to sort out the three different definition of quasifinite morphisms in the literature.

From playlist Algebraic geometry II: Schemes

Video thumbnail

Grothendieck Pairs and Profinite Rigidity - Martin Bridson

Arithmetic Groups Topic: Grothendieck Pairs and Profinite Rigidity Speaker: Martin Bridson Affiliation: Oxford University Date: January 26, 2022 If a monomorphism of abstract groups H↪G induces an isomorphism of profinite completions, then (G,H) is called a Grothendieck pair, recalling t

From playlist Mathematics

Video thumbnail

Schemes 16: Morphisms of finite type

This lecture is part of an online algebraic geometry course on schemes, based on chapter II of "Algebraic geometry" by Hartshorne. We introduce three properties of morphisms: quasicompact, finite type, and locally of finite type, and give a few examples.

From playlist Algebraic geometry II: Schemes

Video thumbnail

Commutative algebra 8 (Noetherian modules)

This lecture is part of an online course on commutative algebra, following the book "Commutative algebra with a view toward algebraic geometry" by David Eisenbud. In this lecture we define Noetherian modules over a ring, and use the to prove Noether's theorem that the agerba of invariants

From playlist Commutative algebra

Video thumbnail

Profinite rigidity – Alan Reid – ICM2018

Topology Invited Lecture 6.7 Profinite rigidity Alan Reid Abstract: We survey recent work on profinite rigidity of residually finite groups. © International Congress of Mathematicians – ICM www.icm2018.org     Os direitos sobre todo o material deste canal pertencem ao Instituto de Mat

From playlist Topology

Video thumbnail

On characterization of monomial irreducible representations by Pooja Singla

DATE & TIME 05 November 2016 to 14 November 2016 VENUE Ramanujan Lecture Hall, ICTS Bangalore Computational techniques are of great help in dealing with substantial, otherwise intractable examples, possibly leading to further structural insights and the detection of patterns in many abstra

From playlist Group Theory and Computational Methods

Video thumbnail

Peter SCHOLZE (oct 2011) - 5/6 Perfectoid Spaces and the Weight-Monodromy Conjecture

We will introduce the notion of perfectoid spaces. The theory can be seen as a kind of rigid geometry of infinite type, and the most important feature is that the theories over (deeply ramified extensions of) Q_p and over F_p((t)) are equivalent, generalizing to the relative situation a th

From playlist Peter SCHOLZE (oct 2011) - Perfectoid Spaces and the Weight-Monodromy Conjecture

Video thumbnail

Profinite rigidity and flexibility for compact 3-manifold groups -Reid

Geometric Structures on 3-manifolds Topic:Profinite rigidity and flexibility for compact 3-manifold groups Speaker: Alan Reid Date: Tuesday, February 2 This talk will discuss the question: To what extent are the fundamental groups of compact 3-manifolds determined (amongst the fundamental

From playlist Mathematics

Video thumbnail

The BuShou of HanZi : 車

A brief description of the BuShou of 車.

From playlist The BuShou of HanZi

Video thumbnail

Commutative algebra 4 (Invariant theory)

This lecture is part of an online course on commutative algebra, following the book "Commutative algebra with a view toward algebraic geometry" by David Eisenbud. This lecture is an informal historical summary of a few results of classical invariant theory, mainly to show just how complic

From playlist Commutative algebra

Related pages

Mathematical object | Primitive recursive arithmetic | Finite set | Infinite set | Hilbert's program | Mathematical analysis | Temporal finitism | Completeness (logic) | David Hilbert | L. E. J. Brouwer | Transfinite number | Finitist set theory | Peano axioms | Paul Bernays | Naive set theory | Ordinal number | Zermelo–Fraenkel set theory | Conservative extension | Burali-Forti paradox | Actual infinity | Successor function | Limit (mathematics) | Cardinal number | Natural number | Transcomputational problem | Consistency | Ultrafinitism | Leopold Kronecker | Ludwig Wittgenstein | Quantifier (logic) | Thoralf Skolem | Russell's paradox | Philosophy of mathematics