Jove
Visualize
Contact Us
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

Related Concept Videos

The Scope of Physics01:17

The Scope of Physics

40.1K
Physics is concerned with the interactions of energy, matter, space, and time, in order to discover the underlying mechanisms that underpin all phenomena. The word "physics" comes from the Greek word "phúsis", which means nature. Physics seeks to comprehend the natural world around us at its most fundamental level. It emphasizes the use of quantitative laws to do this, which could be valuable in other fields that want to push the performance boundaries of present...
40.1K
Mathematical Induction01:29

Mathematical Induction

445
Mathematical induction is a structured method of proof used to confirm the truth of statements involving natural numbers. Consider the sum of the first n natural numbers:This formula describes a pattern that appears to hold true as more terms are added. To verify that it is valid for all natural numbers, mathematical induction proceeds in two essential steps. The first is the base case, where the formula is tested for the initial value, typically n = 1. Substituting into both sides confirms the...
445
Perpendicular-Axis Theorem01:16

Perpendicular-Axis Theorem

3.6K
The perpendicular-axis theorem states that the moment of inertia of a planar object about an axis perpendicular to its plane is equal to the sum of the moments of inertia about two mutually perpendicular concurrent axes lying in the plane of the body.
Consider a circular disc of mass M and radius R lying along an x-y plane. The origin lies at the center of the disc, and the z-axis is perpendicular to the disc's plane. All three axes coincide at the disc's center. The moment of inertia of this...
3.6K
Models, Theories, and Laws01:16

Models, Theories, and Laws

7.4K
Scientists frequently use models to help them comprehend a specific collection of phenomena. In physics, a model is a condensed version of a physical system that is too complex to study thoroughly. One such example is the light wave model; unlike water waves, light waves are typically invisible to us. Nonetheless, it is helpful to think of light as being composed of waves, since investigations show that light behaves like water waves. Since it is impossible to visually see what is genuinely...
7.4K
Theorem of Pappus01:24

Theorem of Pappus

320
The Theorem of Pappus, also known as the Pappus–Guldinus Theorem, provides a geometric method for determining the volume and surface area of solids generated by the revolution of a plane region or a plane curve about an external axis. The theorem consists of two related statements. The first addresses the volume of solids formed by rotating plane areas, while the second addresses the surface area generated by rotating plane curves. Both results depend on the location of the centroid,...
320
Fundamental Theorem of Algebra01:30

Fundamental Theorem of Algebra

499
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...
499

You might also read

Related Articles

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

Sort by
Same journal

Solving Allen-Cahn equations with periodic and nonperiodic boundary conditions using mimetic finite-difference operators.

Applied mathematics and computation·2024
Same journal

Stability analysis and optimal control of a fractional-order generalized SEIR model for the COVID-19 pandemic.

Applied mathematics and computation·2024
Same journal

Exploring epidemic voluntary vaccinating behavior based on information-driven decisions and benefit-cost analysis.

Applied mathematics and computation·2023
Same journal

Modelling HIV/AIDS and monkeypox co-infection.

Applied mathematics and computation·2022
Same journal

Investigating the trade-off between self-quarantine and forced quarantine provisions to control an epidemic: An evolutionary approach.

Applied mathematics and computation·2022
Same journal

A stochastic SIQR epidemic model with Lévy jumps and three-time delays.

Applied mathematics and computation·2022

Related Experiment Video

Updated: Apr 27, 2026

Generation and Coherent Control of Pulsed Quantum Frequency Combs
06:42

Generation and Coherent Control of Pulsed Quantum Frequency Combs

Published on: June 8, 2018

9.0K

Physics and proof theory.

Bruno Woltzenlogel Paleo1

  • 1Institut für Computersprachen, Vienna University of Technology, Austria.

Applied Mathematics and Computation
|July 1, 2014
PubMed
Summary

This study enhances scientific formalization by emphasizing formal proofs, addressing criticisms and reconciling opposing philosophical views. This approach bridges physics and computer science through proof theory.

Area of Science:

  • Physics
  • Computer Science
  • Philosophy of Science

Background:

  • Traditional axiomatization of science faces valid philosophical criticisms.
  • Existing formalization methods in physics have inherent limitations.

Purpose of the Study:

  • To demonstrate how formal proofs can resolve drawbacks in scientific axiomatization.
  • To reconcile opposing philosophical views on science through enhanced formalization.
  • To explore conceptual links between physics and computer science.

Main Methods:

  • Integrating formal proofs more prominently into the process of scientific formalization.
  • Utilizing principles from proof theory for conceptual integration.

Main Results:

Keywords:
Formalization of sciencePhysicsProof theory

More Related Videos

An Analog Macroscopic Technique for Studying Molecular Hydrodynamic Processes in Dense Gases and Liquids
11:03

An Analog Macroscopic Technique for Studying Molecular Hydrodynamic Processes in Dense Gases and Liquids

Published on: December 4, 2017

7.6K
Setting Limits on Supersymmetry Using Simplified Models
07:46

Setting Limits on Supersymmetry Using Simplified Models

Published on: November 15, 2013

8.2K

Related Experiment Videos

Last Updated: Apr 27, 2026

Generation and Coherent Control of Pulsed Quantum Frequency Combs
06:42

Generation and Coherent Control of Pulsed Quantum Frequency Combs

Published on: June 8, 2018

9.0K
An Analog Macroscopic Technique for Studying Molecular Hydrodynamic Processes in Dense Gases and Liquids
11:03

An Analog Macroscopic Technique for Studying Molecular Hydrodynamic Processes in Dense Gases and Liquids

Published on: December 4, 2017

7.6K
Setting Limits on Supersymmetry Using Simplified Models
07:46

Setting Limits on Supersymmetry Using Simplified Models

Published on: November 15, 2013

8.2K
  • Many drawbacks of traditional scientific axiomatization are overcome.
  • Opposing philosophical viewpoints on science are naturally reconciled.
  • New conceptual connections between physics and computer science are established.

Conclusions:

  • Emphasizing formal proofs offers a robust framework for scientific formalization.
  • Proof theory provides a powerful tool for interdisciplinary connections in science.