Jove
Visualize
Contact Us

Related Concept Videos

Theorems of Pappus and Guldinus: Problem Solving01:12

Theorems of Pappus and Guldinus: Problem Solving

1.1K
Pappus and Guldinus's theorems are powerful mathematical principles that are used for finding the surface area and volume of composite shapes. For example, consider a cylindrical storage tank with a conical top. Finding the surface area or volume can be challenging for such complex shapes. These theorems are particularly useful in calculating the volume and surface area of such systems. Here, the cylindrical storage tank with a conical top can be broken down into two simple shapes: a...
1.1K
Fundamental Theorem of Algebra01:30

Fundamental Theorem of Algebra

378
The Fundamental Theorem of Algebra is central to the study of polynomial equations, asserting that every non-constant polynomial with complex coefficients has at least one complex zero. This means that a polynomial of degree n ≥ 1, written as:  with an ≠ 0, has at least one solution in the complex number system. Since the set of real numbers is a subset of complex numbers, this theorem applies equally to polynomials with real coefficients.Building on this result, the...
378
Fundamental Theorem of Calculus I: Problem Solving01:22

Fundamental Theorem of Calculus I: Problem Solving

113
In many engineering and environmental applications, accumulated quantities are determined from rates that vary over time. A common example arises in water management, where a supply system pumps water into a storage tank at a rate that changes with time. Accurately determining how much water has entered the tank over a given period is essential for maintaining proper pressure, scheduling operations, and ensuring system safety.The flow rate of water into the tank is described by a time-dependent...
113
Fundamental Theorem of Calculus I01:23

Fundamental Theorem of Calculus I

146
Solving problems involving definite integrals requires a systematic approach that ensures clarity and efficiency. The first step is understanding the problem by identifying the calculated quantity, whether it involves accumulation, area, or a physical concept like force or probability. It is essential to recognize given conditions, such as the range of integration and any constraints that may affect the solution. Before computing, key properties of definite integrals should be analyzed to...
146
Hypothesis: Accept or Fail to Reject?01:17

Hypothesis: Accept or Fail to Reject?

29.8K
The outcome of any hypothesis testing leads to rejecting or not rejecting the null hypothesis. This decision is taken based on the analysis of the data, an appropriate test statistic, an appropriate confidence level, the critical values, and P-values. However, when the evidence suggests that the null hypothesis cannot be rejected, is it right to say, 'Accept' the null hypothesis?
There are two ways to indicate that the null hypothesis is not rejected. 'Accept' the null...
29.8K
Fundamental Theorem of Calculus II01:29

Fundamental Theorem of Calculus II

182
In calculus, the computation of the area under a continuous curve has been fundamentally simplified by applying the Fundamental Theorem of Calculus, Part 2. Rather than relying on the limiting process of summing infinitely many infinitesimal rectangles, this theorem permits direct evaluation using antiderivatives, thereby streamlining the process of definite integration.The Fundamental Theorem of Calculus, Part 2, states that if a function f(x) is continuous on a closed interval [a, b], then...
182

You might also read

Related Articles

Articles linked to this work by shared authors, journal, and citation graph.

Sort by
Same author

From Magnitudes to Geometry and Back: De Zolt's Postulate.

Theoria·2022
Same journal

Concept(s) of Health: Lifestyle at the Heart of Modern Health.

Erkenntnis·2026
Same journal

Common Belief and Make-Believe.

Erkenntnis·2026
Same journal

Neo-Russellian Abstractionism.

Erkenntnis·2026
Same journal

Epistemic Rationality Begins Unreflectively.

Erkenntnis·2026
Same journal

Forward-Looking Concept Functions and the Function/Accident Distinction.

Erkenntnis·2026
Same journal

The Revised Reward Theory of Desire.

Erkenntnis·2026
See all related articles
JoVE
x logofacebook logolinkedin logoyoutube logo
ABOUT JoVE
OverviewLeadershipBlogJoVE Help Center
AUTHORS
Publishing ProcessEditorial BoardScope & PoliciesPeer ReviewFAQSubmit
LIBRARIANS
TestimonialsSubscriptionsAccessResourcesLibrary Advisory BoardFAQ
RESEARCH
JoVE JournalMethods CollectionsJoVE Encyclopedia of ExperimentsArchive
EDUCATION
JoVE CoreJoVE BusinessJoVE Science EducationJoVE Lab ManualFaculty Resource CenterFaculty Site
Terms & Conditions of Use
Privacy Policy
Policies
  1. Home
  2. Hilbert's Early Metatheory Revisited.
  1. Home
  2. Hilbert's Early Metatheory Revisited.

Related Experiment Video

The Spatial Memory Game: Testing the Relationship Between Spatial Language, Object Knowledge, and Spatial Cognition
05:15

The Spatial Memory Game: Testing the Relationship Between Spatial Language, Object Knowledge, and Spatial Cognition

Published on: February 19, 2018

11.4K

Hilbert's Early Metatheory Revisited.

Eduardo N Giovannini1, Georg Schiemer2

  • 1CONICET/Universidad Nacional del Litoral, Paraje El Pozo, 3000 Santa Fe, Argentina.

Erkenntnis
|March 16, 2026

View abstract on PubMed

Summary
This summary is machine-generated.

This study reconstructs David Hilbert's early formal axiomatic metatheory, highlighting his contributions to model theory and the semantic views of mathematical theories.

More Related Videos

Testing for Metacognitive Responding Using an Odor-based Delayed Match-to-Sample Test in Rats
08:06

Testing for Metacognitive Responding Using an Odor-based Delayed Match-to-Sample Test in Rats

Published on: June 18, 2018

7.7K
Multimodal Protocol for Assessing Metacognition and Self-Regulation in Adults with Learning Difficulties
12:55

Multimodal Protocol for Assessing Metacognition and Self-Regulation in Adults with Learning Difficulties

Published on: September 27, 2020

9.3K

Related Experiment Videos

The Spatial Memory Game: Testing the Relationship Between Spatial Language, Object Knowledge, and Spatial Cognition
05:15

The Spatial Memory Game: Testing the Relationship Between Spatial Language, Object Knowledge, and Spatial Cognition

Published on: February 19, 2018

11.4K
Testing for Metacognitive Responding Using an Odor-based Delayed Match-to-Sample Test in Rats
08:06

Testing for Metacognitive Responding Using an Odor-based Delayed Match-to-Sample Test in Rats

Published on: June 18, 2018

7.7K
Multimodal Protocol for Assessing Metacognition and Self-Regulation in Adults with Learning Difficulties
12:55

Multimodal Protocol for Assessing Metacognition and Self-Regulation in Adults with Learning Difficulties

Published on: September 27, 2020

9.3K

Area of Science:

  • Mathematical Logic
  • Foundations of Mathematics
  • History of Mathematics

Background:

  • David Hilbert's early work on formal axiomatics is a cornerstone of modern logic and mathematics.
  • His contributions are often viewed through a "model-theoretic" lens.
  • Re-evaluating his foundational role in model theory is crucial for understanding the development of mathematical thought.

Purpose of the Study:

  • To offer a novel reconstruction of Hilbert's early metatheory of formal axiomatics.
  • To re-assess Hilbert's role in the development of model theory.
  • To examine his contributions to the axiomatic foundations of geometry and analysis.

Main Methods:

  • Focusing on Hilbert's conception of mathematical theories and their interpretations.
  • Analyzing his early semantic views through "translational isomorphism" between models.
  • Logically reconstructing his consistency and independence results using "interpretability" between theories.
  • Main Results:

    • Hilbert's early semantic views can be understood via "translational isomorphism" of models.
    • His consistency and independence results in geometry are reconstructible through "interpretability" of theories.
    • This provides a new perspective on Hilbert's foundational contributions.

    Conclusions:

    • Hilbert's early work laid crucial groundwork for model theory.
    • The concepts of "translational isomorphism" and "interpretability" offer novel insights into his metatheory.
    • This reconstruction deepens our understanding of the historical development of formal axiomatic systems.