Jove
Visualize
联系我们

相关概念视频

Radical Formation: Abstraction00:47

Radical Formation: Abstraction

3.5K
The electron of an atom can be abstracted from a compound by a relatively unstable radical to generate a new radical of relatively greater stability. For example, an initiator which forms radicals by homolysis can abstract a suitable species like a hydrogen atom or a halogen atom from a compound to generate a new radical. This ability of radicals to propagate by abstraction is a crucial feature of radical chain reactions.
Even though homolysis produces radicals, it is different from radical...
3.5K
Principle of Equivalence01:18

Principle of Equivalence

2.2K
According to Albert Einstein (1897-1955), free-falling and feeling weightless are intrinsically linked. If a person were in free-fall under gravity, for example, diving towards the Earth from an airplane, they would feel completely weightless. Similarly, a person descending in a lift may feel partially weightless. Broadly speaking, it is assumed that an object in a uniform gravitational field and an object undergoing constant acceleration in the absence of gravity are under the same...
2.2K
Second Uniqueness Theorem01:16

Second Uniqueness Theorem

1.0K
Consider a region consisting of several individual conductors with a definite charge density in the region between these conductors. The second uniqueness theorem states that if the total charge on each conductor and the charge density in the in-between region are known, then the electric field can be uniquely determined.
In contrast, consider that the electric field is non-unique and apply Gauss's law in divergence form in the region between the conductors and the integral form to the...
1.0K
Convolution Properties I01:20

Convolution Properties I

182
Convolution computations can be simplified by utilizing their inherent properties.
The commutative property reveals that the input and the impulse response of an LTI (Linear Time-Invariant) system can be interchanged without affecting the output:
182
Constraints and Statical Determinacy01:26

Constraints and Statical Determinacy

635
In structural engineering, the equilibrium of a system is not only determined by its equations of equilibrium but also with the help of constraints. Constraints refer to restrictions on the motion of a system. The proper combinations of constraints can minimize the total number of constraints needed to maintain a system in mechanical equilibrium. When this happens, the system is said to be statically determinate. For such systems, the unknown reaction supports can be estimated using equilibrium...
635
Concepts and Prototypes01:24

Concepts and Prototypes

179
The human nervous system handles vast amounts of information by translating sensory stimuli into neural impulses, which the brain processes, creating thoughts expressed through language or stored as memories. The brain also synthesizes information from emotions and memories, which significantly influence thoughts and behaviors. This intricate process creates a comprehensive mental picture.
The brain organizes this information using concepts, which are mental categories grouping linguistic data,...
179

您也可能阅读

相关文章

通过共同作者、期刊和引用图与本文相关的文章。

排序
Same author

Identity, individuality and indistinguishability in physics and mathematics.

Philosophical transactions. Series A, Mathematical, physical, and engineering sciences·2023
查看所有相关文章
JoVE
x logofacebook logolinkedin logoyoutube logo
关于 JoVE
概览领导团队博客JoVE 帮助中心
作者
出版流程编辑委员会范围与政策同行评审常见问题投稿
图书馆员
用户评价订阅访问资源图书馆顾问委员会常见问题
研究
JoVE JournalMethods CollectionsJoVE Encyclopedia of Experiments存档
教育
JoVE CoreJoVE BusinessJoVE Science EducationJoVE Lab Manual教师资源中心教师网站
使用条款与条件
隐私政策
政策

相关实验视频

Updated: Jul 20, 2025

Using Eye Movements Recorded in the Visual World Paradigm to Explore the Online Processing of Spoken Language
09:27

Using Eye Movements Recorded in the Visual World Paradigm to Explore the Online Processing of Spoken Language

Published on: October 13, 2018

10.1K

抽象,平等和不等价性.

Gabriel Catren1

  • 1Laboratoire SPHERE (UMR 7219), Université Paris Cité - CNRS 5 rue Thomas Mann, 75205 Paris Cedex 13, France.

Philosophical transactions. Series A, Mathematical, physical, and engineering sciences
|July 30, 2023
PubMed
概括

单价基础程序,使用马丁-洛夫类型理论和单价性,探讨命题平等和不可分辨性. 它分析了莱布尼茨的理论.

科学领域:

  • 数学的基础数学的基础.
  • 逻辑 逻辑 逻辑 逻辑
  • 计算机科学 计算机科学

背景情况:

  • 统价基础计划 (UFP) 为数学基础提供了一种新的方法.
  • 它将Martin-Löf类型理论与同位素解释和Voevodsky的无等价公理相结合.
  • 这一框架为基本的数学概念提供了新的视角.

研究的目的:

  • 提供对单价基础计划的概念讨论.
  • 分析类型理论中命题平等和不可分辨性之间的关系.
  • 调查莱布尼茨在UFP中不可分辨的身份原则的有效性.

主要方法:

  • 马丁 - 洛夫类型理论的概念分析与同位素解释丰富.
  • 检查单价公理及其含义.
  • 在UFP框架内对莱布尼茨原理的哲学分析.

主要成果:

  • 类型理论中的命题平等编码了不可辨别的概念.
  • 讨论了马丁-洛夫类型理论的同位素解释.
  • 单价性被呈现为一个构造性抽象,解决弗雷根抽象.

结论:

关键词:
抽象是抽象的,抽象是抽象的.平等 平等 平等 平等同型类型理论的理论.不能分辨的东西是不可分辨的不同价值的基金会.

更多相关视频

A Psychophysics Paradigm for the Collection and Analysis of Similarity Judgments
08:12

A Psychophysics Paradigm for the Collection and Analysis of Similarity Judgments

Published on: March 1, 2022

2.6K
Generating Strictly Controlled Stimuli for Figure Recognition Experiments
05:39

Generating Strictly Controlled Stimuli for Figure Recognition Experiments

Published on: March 18, 2019

5.3K

相关实验视频

Last Updated: Jul 20, 2025

Using Eye Movements Recorded in the Visual World Paradigm to Explore the Online Processing of Spoken Language
09:27

Using Eye Movements Recorded in the Visual World Paradigm to Explore the Online Processing of Spoken Language

Published on: October 13, 2018

10.1K
A Psychophysics Paradigm for the Collection and Analysis of Similarity Judgments
08:12

A Psychophysics Paradigm for the Collection and Analysis of Similarity Judgments

Published on: March 1, 2022

2.6K
Generating Strictly Controlled Stimuli for Figure Recognition Experiments
05:39

Generating Strictly Controlled Stimuli for Figure Recognition Experiments

Published on: March 18, 2019

5.3K
  • 统一价值基础提供了一个框架,在这个框架中,命题上的平等与不可分别性保持一致.
  • 单等式公理为抽象和身份提供了一个新的视角.
  • 这项研究有助于理解数学中的身份和个性.