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

Theorems of Pappus and Guldinus: Problem Solving01:12

Theorems of Pappus and Guldinus: Problem Solving

771
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...
771
Piaget's Stage 3 of Cognitive Development01:17

Piaget's Stage 3 of Cognitive Development

598
During Piaget's concrete operational stage, from ages 7 to 11, children exhibit a marked increase in logical thinking skills, specifically in relation to tangible, real-world events. This stage is characterized by the development of several essential cognitive concepts, including conservation, reversibility, and classification, all of which support the child's evolving capacity for structured thought.
Conservation and Constancy of Quantity
A significant cognitive milestone in the...
598
Deductive Reasoning01:16

Deductive Reasoning

55.8K
Deductive reasoning, or deduction, is the type of logic used in hypothesis-based science. In deductive reasoning, the pattern of thinking moves in the opposite direction as compared to inductive reasoning, which means that it uses a general principle or law to predict specific results. From those general principles, a scientist can deduce and predict the specific results that would be valid as long as the general principles are valid.
For example, a researcher can deduce specific predictions...
55.8K
Castigliano's Theorem: Problem Solving01:14

Castigliano's Theorem: Problem Solving

699
The deflection of a simply supported beam that carries a central point load can be analyzed using structural mechanics principles, particularly by applying Castigliano's theorem. This theorem relates the displacement at the load application point to the partial derivatives of the strain energy in the structure. The simply supported beam with a point load at its center has symmetric reaction forces at the supports, each bearing half of the load. The bending moment at any point along the beam...
699
Theorems of Pappus and Guldinus01:10

Theorems of Pappus and Guldinus

2.0K
The two theorems developed by Pappus and Guldinus are widely used in mathematics, engineering, and physics to find the surface area and volume of any body of revolution. This is done by revolving a plane curve around an axis that does not intersect the curve to find its surface area or revolving a plane area around a non-intersecting axis to calculate its volume.
For finding the surface area, consider a differential line element that generates a ring with surface area dA when revolved.
2.0K
Reasoning01:30

Reasoning

108
Reasoning is the action of thinking about something in a logical, sensible way. It is integral to problem-solving, decision-making, and critical thinking. Reasoning can be inductive or deductive. Reasoning involves transforming information into conclusions, which is essential for problem-solving, decision-making, and critical thinking.
Inductive reasoning involves deriving generalizations from specific observations. This type of reasoning helps form beliefs about the world. For example,...
108

You might also read

Related Articles

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

Sort by
Same journal

Correction to: 'Stokes settling and particle-laden plumes: implications for deep-sea mining and volcanic eruption plumes' (2020), by Mingotti et al.

Philosophical transactions. Series A, Mathematical, physical, and engineering sciences·2026
Same journal

A stable hothouse triggered by a tipping mechanism.

Philosophical transactions. Series A, Mathematical, physical, and engineering sciences·2026
Same journal

Beyond distance: quantifying point cloud dynamics with persistent homology and dynamic optimal transport.

Philosophical transactions. Series A, Mathematical, physical, and engineering sciences·2026
Same journal

Global stability of the Atlantic overturning circulation: edge state, long transients and boundary crisis under CO2 forcing.

Philosophical transactions. Series A, Mathematical, physical, and engineering sciences·2026
Same journal

Morse index classification and landscape of Kuramoto system for Hebbian-based binary pattern recognition.

Philosophical transactions. Series A, Mathematical, physical, and engineering sciences·2026
Same journal

Interpretable and equation-free response theory for complex systems.

Philosophical transactions. Series A, Mathematical, physical, and engineering sciences·2026
See all related articles

Related Experiment Video

Updated: Jul 28, 2025

Problem-Solving Before Instruction PS-I: A Protocol for Assessment and Intervention in Students with Different Abilities
10:26

Problem-Solving Before Instruction PS-I: A Protocol for Assessment and Intervention in Students with Different Abilities

Published on: September 11, 2021

4.0K

Peano: learning formal mathematical reasoning.

Gabriel Poesia1, Noah D Goodman2

  • 1Department of Computer Science, Stanford University, Stanford, CA 94305, USA.

Philosophical Transactions. Series A, Mathematical, Physical, and Engineering Sciences
|June 4, 2023
PubMed
Summary
This summary is machine-generated.

Artificial intelligence agents can learn mathematics by developing reusable procedures called tactics. These tactics help AI agents discover an optimal learning order, mimicking human math education and accelerating AI learning.

Keywords:
automated theorem provingcurriculum learninglibrary learningmathematical reasoningreinforcement learning

More Related Videos

Multimedia Battery for Assessment of Cognitive and Basic Skills in Mathematics BM-PROMA
10:58

Multimedia Battery for Assessment of Cognitive and Basic Skills in Mathematics BM-PROMA

Published on: August 28, 2021

4.5K
Examining Recall Memory in Infancy and Early Childhood Using the Elicited Imitation Paradigm
06:35

Examining Recall Memory in Infancy and Early Childhood Using the Elicited Imitation Paradigm

Published on: April 28, 2016

34.1K

Related Experiment Videos

Last Updated: Jul 28, 2025

Problem-Solving Before Instruction PS-I: A Protocol for Assessment and Intervention in Students with Different Abilities
10:26

Problem-Solving Before Instruction PS-I: A Protocol for Assessment and Intervention in Students with Different Abilities

Published on: September 11, 2021

4.0K
Multimedia Battery for Assessment of Cognitive and Basic Skills in Mathematics BM-PROMA
10:58

Multimedia Battery for Assessment of Cognitive and Basic Skills in Mathematics BM-PROMA

Published on: August 28, 2021

4.5K
Examining Recall Memory in Infancy and Early Childhood Using the Elicited Imitation Paradigm
06:35

Examining Recall Memory in Infancy and Early Childhood Using the Elicited Imitation Paradigm

Published on: April 28, 2016

34.1K

Area of Science:

  • Cognitive Artificial Intelligence
  • Computational Mathematics
  • Machine Learning

Background:

  • Human mathematical reasoning, despite general undecidability, benefits from procedural abstractions and efficient knowledge transmission.
  • Existing AI methods struggle with complex symbolic reasoning tasks, highlighting the need for advanced learning structures.

Purpose of the Study:

  • To investigate the role of procedural abstractions in enabling both human and artificial mathematical reasoning.
  • To develop a computational framework for formalizing and solving mathematical problems using AI.

Main Methods:

  • Introduced Peano, a theorem-proving environment with finite action sets, to formalize introductory algebra.
  • Employed reinforcement learning agents capable of inducing reusable abstractions (tactics) from solutions.
  • Analyzed the emergent curriculum structure derived from AI-generated tactics.

Main Results:

  • AI agents with tactic induction capabilities successfully solved all formalized algebra problems.
  • The induced problem order showed strong correlation with the expert-designed Khan Academy curriculum.
  • Second-generation agents trained on the AI-discovered curriculum learned significantly faster.

Conclusions:

  • Procedural abstractions are crucial for efficient mathematical problem-solving and knowledge transfer in AI.
  • AI-generated curricula based on learned abstractions can enhance learning efficiency, mirroring human educational strategies.
  • This work demonstrates a synergistic relationship between abstractions and curricula for advancing automated mathematical reasoning.