Mathematical proofs

Rigour

Rigour (British English) or rigor (American English; see spelling differences) describes a condition of stiffness or strictness. These constraints may be environmentally imposed, such as "the rigours of famine"; logically imposed, such as mathematical proofs which must maintain consistent answers; or socially imposed, such as the process of defining ethics and law. (Wikipedia).

Video thumbnail

The decline of rigour in modern mathematics | Real numbers and limits Math Foundations 88

Rigour means logical validity or accuracy. In this lecture we look at this concept in some detail, describe the important role of Euclid's Elements, talk about proof, and examine a useful diagram suggesting the hierarchy of mathematics. We give some explanation for why rigour has declined

From playlist Math Foundations

Video thumbnail

Art Quiz #74 - not easy

Not Easy

From playlist Art Quizzes

Video thumbnail

Quantum Computer in a Nutshell (Documentary)

The reservoir of possibilities offered by the fundamental laws of Nature, is the key point in the development of science and technology. Quantum computing is the next step on the road to broaden our perspective from which we currently look at the Universe. The movie shows the history of pr

From playlist Quantum computing

Video thumbnail

Logical weakness in modern pure mathematics | Real numbers and limits Math Foundations 87

We begin PART II of this video course: "Mathematics on trial - why modern pure mathematics doesn't work". This video outlines the case for the prosecution: that modern pure mathematics suffers from: 1. Inconsistent rigour 2. Problematic definitions 3. Reliance on `axioms' 4. Computatio

From playlist Math Foundations

Video thumbnail

How real are the real numbers, really?

We usually say that infinity isn't real, but here we'll see how crucial it is to have one very big infinity for the real world; there is an infinite number of numbers. But why do we need real numbers at all? Aren't rational numbers enough? And what about hyperreal numbers? What we'll see

From playlist Some fun math videos about approximation

Video thumbnail

How to draw an ellipse like a boss

via YouTube Capture

From playlist Random

Video thumbnail

Fundamentals of Qualitative Research Methods: Scientific Rigor (Module 6)

Qualitative research is a strategy for systematic collection, organization, and interpretation of phenomena that are difficult to measure quantitatively. Dr. Leslie Curry leads us through six modules covering essential topics in qualitative research, including what it is qualitative resear

From playlist Fundamentals of Qualitative Research Methods

Video thumbnail

IMT4093 Mobile Research

Rigour and reproducibility.

From playlist Archive - Research in Mobile/Wearable Tech

Video thumbnail

IMT4093 2015, Week 5, Thursday

Mobile Research, rigour and reproducibility of research

From playlist Archive - Research in Mobile/Wearable Tech

Video thumbnail

metauni day 12 - Tea break at the level of physical rigour

Music is Osiris REx from the Space Hustle album by Lucas Cantor.

From playlist Metauni

Video thumbnail

Mysteries of the Mathematical Universe

Mathematical mysteries have challenged humanity’s most powerful thinkers and inspired passionate, lifelong obsessions in search of answers. From the strangeness of prime numbers and the nature of infinity, to the turbulent flow of fluids and the geometry of hyperspace, mathematics is our m

From playlist Explore the World Science Festival

Video thumbnail

Alternative to SIR: Modelling coronavirus (COVID-19) with stochastic process [PART I]

A stochastic process approach to model the spread of coronavirus (COVID-19) as opposed to the compartmental deterministic SIR model. This model is generally known as branching process, but this video only focuses on the simplest type, called Bienaymé-Galton-Watson (BGW) process, because th

From playlist Mathematics of coronavirus

Video thumbnail

What exactly is a limit?? | Real numbers and limits Math Foundations 106 | N J Wildberger

In this video we aim to give a precise and simpler definition for what it means to say that: a rational polynumber on-sequence p(n) has a limit A, for some rational number A. Our definition is both much simpler and more logical than the usual epsilon -delta definition found in calculus tex

From playlist Math Foundations

Related pages

Calculus | Arithmetization of analysis | Tarski's axioms | Automated theorem proving | Euclid's Elements | Set theory | Foundations of geometry | Mathematical proof | Circular reasoning | Hilbert's axioms | Birkhoff's axioms | Formal language | Validity (logic) | Consistency | Euclid | Mathematical analysis