Jan Reimann

874 subscribers

80 videos

View on YouTube

Latest Videos

Mathematical Logic – The Löwenheim-Skolem Theorems

Mathematical Logic – The Löwenheim-Skolem Theorems

Jan Reimann

561 views·7 months ago

Mathematical Logic – Elementary Substructures

Mathematical Logic – Elementary Substructures

Jan Reimann

102 views·7 months ago

Mathematical Logic – The Compactness Theorem

Mathematical Logic – The Compactness Theorem

Jan Reimann

326 views·7 months ago

Mathematical Logic – Elementary Equivalence

Mathematical Logic – Elementary Equivalence

Jan Reimann

93 views·7 months ago

Mathematical Logic – The Model Existence Theorem

Mathematical Logic – The Model Existence Theorem

Jan Reimann

110 views·7 months ago

Mathematical Logic – Henkin Theories

Mathematical Logic – Henkin Theories

Jan Reimann

178 views·7 months ago

Mathematical Logic – Completing Theories

Mathematical Logic – Completing Theories

Jan Reimann

83 views·7 months ago

Mathematical Logic - The Completeness Theorem

Mathematical Logic - The Completeness Theorem

Jan Reimann

287 views·8 months ago

Mathematical Logic – Consistency

Mathematical Logic – Consistency

Jan Reimann

171 views·8 months ago

Mathematical Logic – Logical Implication and Proof

Mathematical Logic – Logical Implication and Proof

Jan Reimann

122 views·8 months ago

Mathematical Logic – Substitution

Mathematical Logic – Substitution

Jan Reimann

212 views·8 months ago

Mathematical Logic – Validities

Mathematical Logic – Validities

Jan Reimann

94 views·8 months ago

Mathematical Logic – First order logic semantics

Mathematical Logic – First order logic semantics

Jan Reimann

192 views·8 months ago

Mathematical Logic – Properties of terms and formulas

Mathematical Logic – Properties of terms and formulas

Jan Reimann

148 views·8 months ago

Mathematical Logic – First Order Logic Syntax

Mathematical Logic – First Order Logic Syntax

Jan Reimann

321 views·8 months ago

Math 557 – Defining Computable Functions in Arithmetic

Math 557 – Defining Computable Functions in Arithmetic

Jan Reimann

491 views·5 years ago

Math 557 – Arithmetic Formulas

Math 557 – Arithmetic Formulas

Jan Reimann

792 views·5 years ago

Math 557 – Peano Arithmetic

Math 557 – Peano Arithmetic

Jan Reimann

513 views·5 years ago

Math 557 – Deciding Theories

Math 557 – Deciding Theories

Jan Reimann

200 views·5 years ago

Math 557 – Coding Formulas

Math 557 – Coding Formulas

Jan Reimann

237 views·5 years ago

Math 557 – Recursive Functions

Math 557 – Recursive Functions

Jan Reimann

926 views·5 years ago

Math 557 – The Ackermann function

Math 557 – The Ackermann function

Jan Reimann

11.0K views·5 years ago

Math 557 – Primitive recursive functions

Math 557 – Primitive recursive functions

Jan Reimann

20.0K views·5 years ago

Math 557 – Unsolvable Problems

Math 557 – Unsolvable Problems

Jan Reimann

335 views·5 years ago

Math 557 – Enumerating Turing Machines

Math 557 – Enumerating Turing Machines

Jan Reimann

1.1K views·5 years ago

Math 557 – Turing Machines

Math 557 – Turing Machines

Jan Reimann

428 views·5 years ago

Math 557 – Quantifier Elimination for Algebraically Closed Fields

Math 557 – Quantifier Elimination for Algebraically Closed Fields

Jan Reimann

279 views·5 years ago

Math 557 – Quantifier Elimination

Math 557 – Quantifier Elimination

Jan Reimann

1.0K views·5 years ago

Math 557 – Elementary Substructures

Math 557 – Elementary Substructures

Jan Reimann

369 views·5 years ago

Math 557 – The Löwenheim-Skolem Theorems

Math 557 – The Löwenheim-Skolem Theorems

Jan Reimann

3.7K views·5 years ago

Load More Videos

Jan Reimann - NatokHD | NatokHD