Unsolved problems in mathematics | Recurrence relations

Skolem problem

In mathematics, the Skolem problem is the problem of determining whether the values of a constant-recursive sequence include the number zero. The problem can be formulated for recurrences over different types of numbers, including integers, rational numbers, and algebraic numbers. It is not known whether there exists an algorithm that can solve this problem. A linear recurrence relation expresses the values of a sequence of numbers as a linear combination of earlier values; for instance, the Fibonacci numbers may be defined from the recurrence relation F(n) = F(n − 1) + F(n − 2) together with the initial values F(0) = 0 and F(1) = 1.The Skolem problem is named after Thoralf Skolem, because of his 1933 paper proving the Skolem–Mahler–Lech theorem on the zeros of a sequence satisfying a linear recurrence with constant coefficients. This theorem states that, if such a sequence has zeros, then with finitely many exceptions the positions of the zeros repeat regularly. Skolem proved this for recurrences over the rational numbers, and Mahler and Lech extended it to other systems of numbers. However, the proofs of the theorem do not show how to test whether there exist any zeros. There does exist an algorithm to test whether a constant-recursive sequence has infinitely many zeros, and if so to construct a decomposition of the positions of those zeros into periodic subsequences, based on the algebraic properties of the roots of the characteristic polynomial of the given recurrence. The remaining difficult part of the Skolem problem is determining whether the finite set of non-repeating zeros is empty or not. Partial solutions to the Skolem problem are known, covering the special case of the problem for recurrences of degree at most four. However, these solutions do not apply to recurrences of degree five or more. For integer recurrences, the Skolem problem is known to be NP-hard. (Wikipedia).

Video thumbnail

Skew Lines, Perpendicular & Parallel Lines & Planes, Intersecting Lines & Transversals

This geometry video tutorial provides a basic introduction into skew lines. It explains the difference between parallel lines, perpendicular lines, skew lines, intersecting lines, and transversals. Parallel lines are coplanar lines that do not intersect. Skew lines are noncoplanar lines

From playlist Geometry Video Playlist

Video thumbnail

What is skewness? A detailed explanation (with moments!)

See all my videos at http://www.zstatistics.com/videos/ 0:00 Introduction 4:28 Skewness calculation: Pearson 7:06 Skewness calculation: Moment-based 12:56 Skewness visualisation 14:02 Challenge question For the moment video, see here: http://www.zstatistics.com/descriptive-statistics/ (

From playlist Descriptive Statistics (13 videos)

Video thumbnail

Geometry - Basic Terminology (9 of 34) Definition of Parallel, Skew, and Intersecting Lines

Visit http://ilectureonline.com for more math and science lectures! In this video I will define and give examples of parallel, skew, and intersecting lines. Next video in the Basic Terminology series can be seen at: http://youtu.be/9yZaWLdVEhU

From playlist GEOMETRY 1 - BASIC TERMINOLOGY

Video thumbnail

What is Skewness? | Statistics | Don't Memorise

What is Skewness in statistics? What are the different types of Skewness? ✅To learn more about Statistics, enroll in our full course now: https://infinitylearn.com/microcourses?utm_source=youtube&utm_medium=Soical&utm_campaign=DM&utm_content=XSSRrVMOqlQ&utm_term=%7Bkeyword%7D ✅Download

From playlist Middle School Math - Graphs and Statistics

Video thumbnail

Lajos Hajdu: Skolem’s conjecture and exponential Diophantine equations

CIRM VIRTUAL CONFERENCE Recorded during the meeting "​ Diophantine Problems, Determinism and Randomness" the November 24, 2020 by the Centre International de Rencontres Mathématiques (Marseille, France) Filmmaker: Guillaume Hennenfent Find this video and other talks given by worldwide

From playlist Virtual Conference

Video thumbnail

Live CEOing Ep 263: Predicate Logic Theorem Proving in Wolfram Language

Watch Stephen Wolfram and teams of developers in a live, working, language design meeting. This episode is about Predicate Logic Theorem Proving in the Wolfram Language.

From playlist Behind the Scenes in Real-Life Software Design

Video thumbnail

Skew-symmetric Matrix | Don't Memorise

This video explains the concept of a Skew-Symmetric Matrix. ✅To learn more about, Matrices, enroll in our full course now: https://infinitylearn.com/microcourses?utm_source=youtube&utm_medium=Soical&utm_campaign=DM&utm_content=uKPmyG18N7I&utm_term=%7Bkeyword%7D In this video, we will le

From playlist Matrices

Video thumbnail

Tests for Normality in SPSS

How to test variables for normality in SPSS with the Shapiro-Wilk and KS Test.

From playlist SPSS

Video thumbnail

Foundations S2 - Seminar 4 - Lower Lowenheim-Skolem

A seminar series on the foundations of mathematics, by Will Troiani and Billy Snikkers. In this lecture Will proves the lower Lowenheim-Skolem theorem. The webpage for this seminar is https://metauni.org/foundations/ You can join this seminar from anywhere, on any device, at https://www.

From playlist Foundations seminar

Video thumbnail

How to find Skewness in Excel

How to find skewness in Excel with the SKEW function and Data Analysis. Works with all versions of Excel including 365, 2013, 2016.

From playlist Excel for Statistics

Video thumbnail

Logic 2 - First-order Logic | Stanford CS221: AI (Autumn 2019)

For more information about Stanford’s Artificial Intelligence professional and graduate programs, visit: https://stanford.io/3bg9F0C Topics: First-order Logic Percy Liang, Associate Professor & Dorsa Sadigh, Assistant Professor - Stanford University http://onlinehub.stanford.edu/ Associa

From playlist Stanford CS221: Artificial Intelligence: Principles and Techniques | Autumn 2019

Video thumbnail

Regularity and non-standard models of arithmetic #PaCE1

Follow-up video: https://youtu.be/7HKnOOvssvs Discussed text, including all links: https://gist.github.com/Nikolaj-K/101c2712dc832dec4991bf568869abc8 Curt's call: https://youtu.be/V93GQaDtv8w Timestamps: 00:00:00 Introduction 00:02:55 Wittgenstein and predicates (optional) 00:11:12 Skolems

From playlist Logic

Video thumbnail

Abraham Robinson’s legacy in model theory and (...) - L. Van den Dries - Workshop 3 - CEB T1 2018

Lou Van den Dries (University of Illinois, Urbana) / 27.03.2018 Abraham Robinson’s legacy in model theory and its applications ---------------------------------- Vous pouvez nous rejoindre sur les réseaux sociaux pour suivre nos actualités. Facebook : https://www.facebook.com/InstitutHe

From playlist 2018 - T1 - Model Theory, Combinatorics and Valued fields

Video thumbnail

Foundations S2 - Seminar 5 - Finishing the Ax-Grothendieck theorem

A seminar series on the foundations of mathematics, by Will Troiani and Billy Snikkers. In this lecture Will completes the proof of the Ax-Grothendieck theorem, by proving the upper Lowenheim-Skolem theorem. The webpage for this seminar is https://metauni.org/foundations/ You can join th

From playlist Foundations seminar

Video thumbnail

Parallel Lines & Skew Lines, Angles formed by a Transversal

I define and show you how to identify Skew and Parallel lines in a drawing. I then discuss the types of angles you have when 2 or more lines are cut by a transversal. Find free review test, useful notes and more at http://www.mathplane.com If you'd like to make a donation to support my ef

From playlist Geometry

Video thumbnail

Tim Steger: ​Construction of lattices defining fake projective planes - lecture 3

Recording during the meeting "Ball Quotient Surfaces and Lattices " the February 26, 2019 at the Centre International de Rencontres Mathématiques (Marseille, France) Filmmaker: Guillaume Hennenfent Find this video and other talks given by worldwide mathematicians on CIRM's Audiovisual Ma

From playlist Algebraic and Complex Geometry

Video thumbnail

What is Reductionism?

There are two different types of reductionism. One is called methodological reductionism, the other one theory reductionism. Methodological reductionism is about the properties of the real world. It’s about taking things apart into smaller things and finding that the smaller things determ

From playlist Philosophy of Science

Related pages

Skolem–Mahler–Lech theorem | Fibonacci number | Rational number | Integer | Thoralf Skolem | Algorithm | Constant-recursive sequence | Algebraic number