弗拉基米尔·沃沃德斯基 (1966年至2017年)
1Daniel R. Grayson is professor emeritus of mathematics at the University of Illinois. He was a friend of Voevodsky from 1994 and worked with him on computer proof checking.
Nature
|November 10, 2017
概括
No abstract available in PubMed .
更多相关视频
09:16Simultaneous ex vivo Functional Testing of Two Retinas by in vivo Electroretinogram System
Published on: May 6, 2015
9.9K
13:20Online Repetitive Transcranial Magnetic Stimulation of Dorsomedial and Dorsolateral Prefrontal Cortex in Cognition Decision Making, and Cognitive Dissonance
Published on: December 5, 2025
1.0K
相关概念视频
Convolution: Math, Graphics, and Discrete Signals
1.3K
In any LTI (Linear Time-Invariant) system, the convolution of two signals is denoted using a convolution operator, assuming all initial conditions are zero. The convolution integral can be divided into two parts: the zero-input or natural response and the zero-state or forced response, with t0 indicating the initial time.
To simplify the convolution integral, it is assumed that both the input signal and impulse response are zero for negative time values. The graphical convolution process...
To simplify the convolution integral, it is assumed that both the input signal and impulse response are zero for negative time values. The graphical convolution process...
1.3K
Transmission-Line Differential Equations
1.1K
Transmission lines are essential components of electrical power systems. They are characterized by the distributed nature of resistance (R), inductance (L), and capacitance (C) per unit length. To analyze these lines, differential equations are employed to model the variations in voltage and current along the line.
Line Section Model
A circuit representing a line section of length Δx helps in understanding the transmission line parameters. The voltage V(x) and current i(x) are measured...
Line Section Model
A circuit representing a line section of length Δx helps in understanding the transmission line parameters. The voltage V(x) and current i(x) are measured...
1.1K
Freudian Psychology
2.6K
Sigmund Freud, an Austrian neurologist born in 1856, significantly influenced psychology through his exploration of the unconscious mind. His interest in patients suffering from hysteria and neurosis — conditions without apparent physical causes — led him to theorize the existence of an unconscious mind, a repository for feelings and urges beyond our awareness. Freud's innovative approach included techniques such as dream analysis, free association, and attention to slips of the...
2.6K
Navier–Stokes Equations
2.8K
For incompressible Newtonian fluids, where density remains constant, stresses show a linear relationship with the deformation rate, defined by normal and shear stresses. Normal stresses depend on the pressure exerted on the fluid and the rate of deformation in specific directions, which determines how fluid flows under varying pressures. Shear stresses, on the other hand, act tangentially across fluid layers. They explain how adjacent fluid layers slide relative to one another, connecting...
2.8K
Vygotsky's Cognitive Development in Cultural Context
1.8K
Lev Vygotsky, a pioneering Russian psychologist, developed a theory of cognitive development that centers on the influence of social and cultural factors. Unlike Jean Piaget, who emphasized the child's direct interaction with the physical world as key to development, Vygotsky argued that cognitive growth is an interpersonal process that unfolds within a cultural context. For Vygotsky, a child's learning cannot be separated from their social environment, which includes the values,...
1.8K
Introduction to Differential Equations
550
A differential equation is a mathematical expression that establishes a relationship between a function and its derivatives. These equations are fundamental in modeling dynamic systems across various fields of science and engineering. The order of a differential equation is defined by the highest order derivative present in the equation. A first-order differential equation includes only the first derivative, while a second-order differential equation includes up to the second derivative of the...
550
