on the unreasonable effectiveness of mathematicswhy science is possible?the formalism of...
TRANSCRIPT
![Page 1: On the unreasonable effectiveness of mathematicsWhy science is possible?The formalism of mathematical logicClassification theoryRediscovery of quantum world On the unreasonable effectiveness](https://reader035.vdocument.in/reader035/viewer/2022071503/612312a5092da978571540f9/html5/thumbnails/1.jpg)
Why science is possible? The formalism of mathematical logic Classification theory Rediscovery of quantum world
On the unreasonable effectiveness ofmathematics
B. Zilber
University of Oxford
October 14, 2015
B. Zilber University of Oxford
On the unreasonable effectiveness of mathematics
![Page 2: On the unreasonable effectiveness of mathematicsWhy science is possible?The formalism of mathematical logicClassification theoryRediscovery of quantum world On the unreasonable effectiveness](https://reader035.vdocument.in/reader035/viewer/2022071503/612312a5092da978571540f9/html5/thumbnails/2.jpg)
Why science is possible? The formalism of mathematical logic Classification theory Rediscovery of quantum world
Why science is possible?
The huge universe allows a succinct mathematical description.Why and how?
For example, the equation
F = m a
provides a complete description the Newtonian law of motionunder the constant force.From these one can derive the more general Euler’s law ofmotion.
Eugene Wigner called it “the unreasonable effectiveness ofmathematics”.
B. Zilber University of Oxford
On the unreasonable effectiveness of mathematics
![Page 3: On the unreasonable effectiveness of mathematicsWhy science is possible?The formalism of mathematical logicClassification theoryRediscovery of quantum world On the unreasonable effectiveness](https://reader035.vdocument.in/reader035/viewer/2022071503/612312a5092da978571540f9/html5/thumbnails/3.jpg)
Why science is possible? The formalism of mathematical logic Classification theory Rediscovery of quantum world
Why science is possible?
The huge universe allows a succinct mathematical description.Why and how?
For example, the equation
F = m a
provides a complete description the Newtonian law of motionunder the constant force.From these one can derive the more general Euler’s law ofmotion.
Eugene Wigner called it “the unreasonable effectiveness ofmathematics”.
B. Zilber University of Oxford
On the unreasonable effectiveness of mathematics
![Page 4: On the unreasonable effectiveness of mathematicsWhy science is possible?The formalism of mathematical logicClassification theoryRediscovery of quantum world On the unreasonable effectiveness](https://reader035.vdocument.in/reader035/viewer/2022071503/612312a5092da978571540f9/html5/thumbnails/4.jpg)
Why science is possible? The formalism of mathematical logic Classification theory Rediscovery of quantum world
Why science is possible?
The huge universe allows a succinct mathematical description.Why and how?
For example, the equation
F = m a
provides a complete description the Newtonian law of motionunder the constant force.From these one can derive the more general Euler’s law ofmotion.
Eugene Wigner called it “the unreasonable effectiveness ofmathematics”.
B. Zilber University of Oxford
On the unreasonable effectiveness of mathematics
![Page 5: On the unreasonable effectiveness of mathematicsWhy science is possible?The formalism of mathematical logicClassification theoryRediscovery of quantum world On the unreasonable effectiveness](https://reader035.vdocument.in/reader035/viewer/2022071503/612312a5092da978571540f9/html5/thumbnails/5.jpg)
Why science is possible? The formalism of mathematical logic Classification theory Rediscovery of quantum world
Algorithmic compressibility
P.C.W. Davies [1992], following R.J.Solomonoff [1964], writes:"the existence of regularities [in the real world] may beexpressed by saying that the world is algorithmicallycompressible."
“The fundamental laws of physics seem to be expressible assuccinct mathematical statements. ... does this fact tell ussomething important about the structure of the brain, or thephysical world, or both?”.
B. Zilber University of Oxford
On the unreasonable effectiveness of mathematics
![Page 6: On the unreasonable effectiveness of mathematicsWhy science is possible?The formalism of mathematical logicClassification theoryRediscovery of quantum world On the unreasonable effectiveness](https://reader035.vdocument.in/reader035/viewer/2022071503/612312a5092da978571540f9/html5/thumbnails/6.jpg)
Why science is possible? The formalism of mathematical logic Classification theory Rediscovery of quantum world
Algorithmic compressibility
P.C.W. Davies [1992], following R.J.Solomonoff [1964], writes:"the existence of regularities [in the real world] may beexpressed by saying that the world is algorithmicallycompressible."“The fundamental laws of physics seem to be expressible assuccinct mathematical statements. ...
does this fact tell ussomething important about the structure of the brain, or thephysical world, or both?”.
B. Zilber University of Oxford
On the unreasonable effectiveness of mathematics
![Page 7: On the unreasonable effectiveness of mathematicsWhy science is possible?The formalism of mathematical logicClassification theoryRediscovery of quantum world On the unreasonable effectiveness](https://reader035.vdocument.in/reader035/viewer/2022071503/612312a5092da978571540f9/html5/thumbnails/7.jpg)
Why science is possible? The formalism of mathematical logic Classification theory Rediscovery of quantum world
Algorithmic compressibility
P.C.W. Davies [1992], following R.J.Solomonoff [1964], writes:"the existence of regularities [in the real world] may beexpressed by saying that the world is algorithmicallycompressible."“The fundamental laws of physics seem to be expressible assuccinct mathematical statements. ... does this fact tell ussomething important about the structure of the brain, or thephysical world, or both?”.
B. Zilber University of Oxford
On the unreasonable effectiveness of mathematics
![Page 8: On the unreasonable effectiveness of mathematicsWhy science is possible?The formalism of mathematical logicClassification theoryRediscovery of quantum world On the unreasonable effectiveness](https://reader035.vdocument.in/reader035/viewer/2022071503/612312a5092da978571540f9/html5/thumbnails/8.jpg)
Why science is possible? The formalism of mathematical logic Classification theory Rediscovery of quantum world
Categoricity versus algorithmic compressibility
(Uncountable) categoricity is a model-theoretic formalisationof algorithmic compressibility.
A small collection T of sentences is said to be uncountablycategorical if there exists a unique model M of T of a huge size.
A countable collection T of sentences (of a formal language) issaid to be uncountably categorical if for some uncountablecardinal number κ there exists one and only one model M of Tof size κ.
Can this happen indeed?
B. Zilber University of Oxford
On the unreasonable effectiveness of mathematics
![Page 9: On the unreasonable effectiveness of mathematicsWhy science is possible?The formalism of mathematical logicClassification theoryRediscovery of quantum world On the unreasonable effectiveness](https://reader035.vdocument.in/reader035/viewer/2022071503/612312a5092da978571540f9/html5/thumbnails/9.jpg)
Why science is possible? The formalism of mathematical logic Classification theory Rediscovery of quantum world
Categoricity versus algorithmic compressibility
(Uncountable) categoricity is a model-theoretic formalisationof algorithmic compressibility.
A small collection T of sentences is said to be uncountablycategorical if there exists a unique model M of T of a huge size.
A countable collection T of sentences (of a formal language) issaid to be uncountably categorical if for some uncountablecardinal number κ there exists one and only one model M of Tof size κ.
Can this happen indeed?
B. Zilber University of Oxford
On the unreasonable effectiveness of mathematics
![Page 10: On the unreasonable effectiveness of mathematicsWhy science is possible?The formalism of mathematical logicClassification theoryRediscovery of quantum world On the unreasonable effectiveness](https://reader035.vdocument.in/reader035/viewer/2022071503/612312a5092da978571540f9/html5/thumbnails/10.jpg)
Why science is possible? The formalism of mathematical logic Classification theory Rediscovery of quantum world
Categoricity versus algorithmic compressibility
(Uncountable) categoricity is a model-theoretic formalisationof algorithmic compressibility.
A small collection T of sentences is said to be uncountablycategorical if there exists a unique model M of T of a huge size.
A countable collection T of sentences (of a formal language) issaid to be uncountably categorical if for some uncountablecardinal number κ there exists one and only one model M of Tof size κ.
Can this happen indeed?
B. Zilber University of Oxford
On the unreasonable effectiveness of mathematics
![Page 11: On the unreasonable effectiveness of mathematicsWhy science is possible?The formalism of mathematical logicClassification theoryRediscovery of quantum world On the unreasonable effectiveness](https://reader035.vdocument.in/reader035/viewer/2022071503/612312a5092da978571540f9/html5/thumbnails/11.jpg)
Why science is possible? The formalism of mathematical logic Classification theory Rediscovery of quantum world
Categoricity versus algorithmic compressibility
(Uncountable) categoricity is a model-theoretic formalisationof algorithmic compressibility.
A small collection T of sentences is said to be uncountablycategorical if there exists a unique model M of T of a huge size.
A countable collection T of sentences (of a formal language) issaid to be uncountably categorical if for some uncountablecardinal number κ there exists one and only one model M of Tof size κ.
Can this happen indeed?
B. Zilber University of Oxford
On the unreasonable effectiveness of mathematics
![Page 12: On the unreasonable effectiveness of mathematicsWhy science is possible?The formalism of mathematical logicClassification theoryRediscovery of quantum world On the unreasonable effectiveness](https://reader035.vdocument.in/reader035/viewer/2022071503/612312a5092da978571540f9/html5/thumbnails/12.jpg)
Why science is possible? The formalism of mathematical logic Classification theory Rediscovery of quantum world
Examples and counter-examples
Numerical systems which underline sciences:
the ring of integers
Z = ({. . .− 3, −2, −1, 0, 1, 2, . . .}, +,×)
is countable and has countable formal theory
∀x , y : x+y = y+x , ∀x , y , z : x(y+z) = xy+xz, ∀x : x ·0 = 0, . . .
the theory of integers does have uncountable models too, butthere is no uniqueness, so not uncountably categorical.
B. Zilber University of Oxford
On the unreasonable effectiveness of mathematics
![Page 13: On the unreasonable effectiveness of mathematicsWhy science is possible?The formalism of mathematical logicClassification theoryRediscovery of quantum world On the unreasonable effectiveness](https://reader035.vdocument.in/reader035/viewer/2022071503/612312a5092da978571540f9/html5/thumbnails/13.jpg)
Why science is possible? The formalism of mathematical logic Classification theory Rediscovery of quantum world
Examples and counter-examples
Numerical systems which underline sciences:
the ring of integers
Z = ({. . .− 3, −2, −1, 0, 1, 2, . . .}, +,×)
is countable and has countable formal theory
∀x , y : x+y = y+x , ∀x , y , z : x(y+z) = xy+xz, ∀x : x ·0 = 0, . . .
the theory of integers does have uncountable models too, butthere is no uniqueness, so not uncountably categorical.
B. Zilber University of Oxford
On the unreasonable effectiveness of mathematics
![Page 14: On the unreasonable effectiveness of mathematicsWhy science is possible?The formalism of mathematical logicClassification theoryRediscovery of quantum world On the unreasonable effectiveness](https://reader035.vdocument.in/reader035/viewer/2022071503/612312a5092da978571540f9/html5/thumbnails/14.jpg)
Why science is possible? The formalism of mathematical logic Classification theory Rediscovery of quantum world
Examples and counter-examples
Numerical systems which underline sciences:
the ring of integers
Z = ({. . .− 3, −2, −1, 0, 1, 2, . . .}, +,×)
is countable and has countable formal theory
∀x , y : x+y = y+x , ∀x , y , z : x(y+z) = xy+xz, ∀x : x ·0 = 0, . . .
the theory of integers does have uncountable models too, butthere is no uniqueness, so not uncountably categorical.
B. Zilber University of Oxford
On the unreasonable effectiveness of mathematics
![Page 15: On the unreasonable effectiveness of mathematicsWhy science is possible?The formalism of mathematical logicClassification theoryRediscovery of quantum world On the unreasonable effectiveness](https://reader035.vdocument.in/reader035/viewer/2022071503/612312a5092da978571540f9/html5/thumbnails/15.jpg)
Why science is possible? The formalism of mathematical logic Classification theory Rediscovery of quantum world
Examples and counter-examples
The field of real numbers R = (R,+,×) is uncountable (ofcardinality continuum), its theory is countable but there is nouniqueness, so not uncountably categorical.
The field of complex numbers
C = ({x + iy : x , y ∈ R}, +,×)is uncountable (of cardinality continuum), its theory is countableand in any uncountable cardinal κ there exists unique model Mof T of size κ.So, this is an example of an algorithmically compressiblestructure!
If physical universe is co-ordinatizable in terms of (the algebraof) complex numbers, then this explains that thecomprehensive physical science is possible.
B. Zilber University of Oxford
On the unreasonable effectiveness of mathematics
![Page 16: On the unreasonable effectiveness of mathematicsWhy science is possible?The formalism of mathematical logicClassification theoryRediscovery of quantum world On the unreasonable effectiveness](https://reader035.vdocument.in/reader035/viewer/2022071503/612312a5092da978571540f9/html5/thumbnails/16.jpg)
Why science is possible? The formalism of mathematical logic Classification theory Rediscovery of quantum world
Examples and counter-examples
The field of real numbers R = (R,+,×) is uncountable (ofcardinality continuum), its theory is countable but there is nouniqueness, so not uncountably categorical.
The field of complex numbers
C = ({x + iy : x , y ∈ R}, +,×)is uncountable (of cardinality continuum), its theory is countableand in any uncountable cardinal κ there exists unique model Mof T of size κ.
So, this is an example of an algorithmically compressiblestructure!
If physical universe is co-ordinatizable in terms of (the algebraof) complex numbers, then this explains that thecomprehensive physical science is possible.
B. Zilber University of Oxford
On the unreasonable effectiveness of mathematics
![Page 17: On the unreasonable effectiveness of mathematicsWhy science is possible?The formalism of mathematical logicClassification theoryRediscovery of quantum world On the unreasonable effectiveness](https://reader035.vdocument.in/reader035/viewer/2022071503/612312a5092da978571540f9/html5/thumbnails/17.jpg)
Why science is possible? The formalism of mathematical logic Classification theory Rediscovery of quantum world
Examples and counter-examples
The field of real numbers R = (R,+,×) is uncountable (ofcardinality continuum), its theory is countable but there is nouniqueness, so not uncountably categorical.
The field of complex numbers
C = ({x + iy : x , y ∈ R}, +,×)is uncountable (of cardinality continuum), its theory is countableand in any uncountable cardinal κ there exists unique model Mof T of size κ.So, this is an example of an algorithmically compressiblestructure!
If physical universe is co-ordinatizable in terms of (the algebraof) complex numbers, then this explains that thecomprehensive physical science is possible.
B. Zilber University of Oxford
On the unreasonable effectiveness of mathematics
![Page 18: On the unreasonable effectiveness of mathematicsWhy science is possible?The formalism of mathematical logicClassification theoryRediscovery of quantum world On the unreasonable effectiveness](https://reader035.vdocument.in/reader035/viewer/2022071503/612312a5092da978571540f9/html5/thumbnails/18.jpg)
Why science is possible? The formalism of mathematical logic Classification theory Rediscovery of quantum world
Examples and counter-examples
The field of real numbers R = (R,+,×) is uncountable (ofcardinality continuum), its theory is countable but there is nouniqueness, so not uncountably categorical.
The field of complex numbers
C = ({x + iy : x , y ∈ R}, +,×)is uncountable (of cardinality continuum), its theory is countableand in any uncountable cardinal κ there exists unique model Mof T of size κ.So, this is an example of an algorithmically compressiblestructure!
If physical universe is co-ordinatizable in terms of (the algebraof) complex numbers, then this explains that thecomprehensive physical science is possible.
B. Zilber University of Oxford
On the unreasonable effectiveness of mathematics
![Page 19: On the unreasonable effectiveness of mathematicsWhy science is possible?The formalism of mathematical logicClassification theoryRediscovery of quantum world On the unreasonable effectiveness](https://reader035.vdocument.in/reader035/viewer/2022071503/612312a5092da978571540f9/html5/thumbnails/19.jpg)
Why science is possible? The formalism of mathematical logic Classification theory Rediscovery of quantum world
Algebraic geometry versus Euclidean geometry.
Euclidean geometry studies spaces with real co-ordinates,smooth trajectories in these spaces and fits best withNewtonian physics.Algebraic geometry studies spaces with complex co-ordinates,or more generally, co-ordinates over algebraically closedfields in which all polynomial equations have solutions.Trajectories in algebraic geometry are given by polynomialequations, e.g.
y2 = x3 + x + 1,
the equation for an elliptic curve. Those are expressible in thesame formal language as the field of complex numbers.
B. Zilber University of Oxford
On the unreasonable effectiveness of mathematics
![Page 20: On the unreasonable effectiveness of mathematicsWhy science is possible?The formalism of mathematical logicClassification theoryRediscovery of quantum world On the unreasonable effectiveness](https://reader035.vdocument.in/reader035/viewer/2022071503/612312a5092da978571540f9/html5/thumbnails/20.jpg)
Why science is possible? The formalism of mathematical logic Classification theory Rediscovery of quantum world
Algebraic geometry versus Euclidean geometry.
Euclidean geometry studies spaces with real co-ordinates,smooth trajectories in these spaces and fits best withNewtonian physics.
Algebraic geometry studies spaces with complex co-ordinates,or more generally, co-ordinates over algebraically closedfields in which all polynomial equations have solutions.Trajectories in algebraic geometry are given by polynomialequations, e.g.
y2 = x3 + x + 1,
the equation for an elliptic curve. Those are expressible in thesame formal language as the field of complex numbers.
B. Zilber University of Oxford
On the unreasonable effectiveness of mathematics
![Page 21: On the unreasonable effectiveness of mathematicsWhy science is possible?The formalism of mathematical logicClassification theoryRediscovery of quantum world On the unreasonable effectiveness](https://reader035.vdocument.in/reader035/viewer/2022071503/612312a5092da978571540f9/html5/thumbnails/21.jpg)
Why science is possible? The formalism of mathematical logic Classification theory Rediscovery of quantum world
Algebraic geometry versus Euclidean geometry.
Euclidean geometry studies spaces with real co-ordinates,smooth trajectories in these spaces and fits best withNewtonian physics.Algebraic geometry studies spaces with complex co-ordinates,
or more generally, co-ordinates over algebraically closedfields in which all polynomial equations have solutions.Trajectories in algebraic geometry are given by polynomialequations, e.g.
y2 = x3 + x + 1,
the equation for an elliptic curve. Those are expressible in thesame formal language as the field of complex numbers.
B. Zilber University of Oxford
On the unreasonable effectiveness of mathematics
![Page 22: On the unreasonable effectiveness of mathematicsWhy science is possible?The formalism of mathematical logicClassification theoryRediscovery of quantum world On the unreasonable effectiveness](https://reader035.vdocument.in/reader035/viewer/2022071503/612312a5092da978571540f9/html5/thumbnails/22.jpg)
Why science is possible? The formalism of mathematical logic Classification theory Rediscovery of quantum world
Algebraic geometry versus Euclidean geometry.
Euclidean geometry studies spaces with real co-ordinates,smooth trajectories in these spaces and fits best withNewtonian physics.Algebraic geometry studies spaces with complex co-ordinates,or more generally, co-ordinates over algebraically closedfields in which all polynomial equations have solutions.
Trajectories in algebraic geometry are given by polynomialequations, e.g.
y2 = x3 + x + 1,
the equation for an elliptic curve. Those are expressible in thesame formal language as the field of complex numbers.
B. Zilber University of Oxford
On the unreasonable effectiveness of mathematics
![Page 23: On the unreasonable effectiveness of mathematicsWhy science is possible?The formalism of mathematical logicClassification theoryRediscovery of quantum world On the unreasonable effectiveness](https://reader035.vdocument.in/reader035/viewer/2022071503/612312a5092da978571540f9/html5/thumbnails/23.jpg)
Why science is possible? The formalism of mathematical logic Classification theory Rediscovery of quantum world
Algebraic geometry versus Euclidean geometry.
Euclidean geometry studies spaces with real co-ordinates,smooth trajectories in these spaces and fits best withNewtonian physics.Algebraic geometry studies spaces with complex co-ordinates,or more generally, co-ordinates over algebraically closedfields in which all polynomial equations have solutions.Trajectories in algebraic geometry are given by polynomialequations, e.g.
y2 = x3 + x + 1,
the equation for an elliptic curve. Those are expressible in thesame formal language as the field of complex numbers.
B. Zilber University of Oxford
On the unreasonable effectiveness of mathematics
![Page 24: On the unreasonable effectiveness of mathematicsWhy science is possible?The formalism of mathematical logicClassification theoryRediscovery of quantum world On the unreasonable effectiveness](https://reader035.vdocument.in/reader035/viewer/2022071503/612312a5092da978571540f9/html5/thumbnails/24.jpg)
Why science is possible? The formalism of mathematical logic Classification theory Rediscovery of quantum world
Algebraic geometry versus Euclidean geometry.
Because the field of complex numbers is categorical, anytheory based on algebraic geometry will be categorical.
A.Macintyre (1971): Algebraically closed fields are the onlynumerical systems (fields) which are categorical.
Question (1981). Is it true that every categorical theory can bereduced to algebraic geometry? So eventually to the theory ofan algebraically closed field?
B. Zilber University of Oxford
On the unreasonable effectiveness of mathematics
![Page 25: On the unreasonable effectiveness of mathematicsWhy science is possible?The formalism of mathematical logicClassification theoryRediscovery of quantum world On the unreasonable effectiveness](https://reader035.vdocument.in/reader035/viewer/2022071503/612312a5092da978571540f9/html5/thumbnails/25.jpg)
Why science is possible? The formalism of mathematical logic Classification theory Rediscovery of quantum world
Algebraic geometry versus Euclidean geometry.
Because the field of complex numbers is categorical, anytheory based on algebraic geometry will be categorical.
A.Macintyre (1971): Algebraically closed fields are the onlynumerical systems (fields) which are categorical.
Question (1981). Is it true that every categorical theory can bereduced to algebraic geometry? So eventually to the theory ofan algebraically closed field?
B. Zilber University of Oxford
On the unreasonable effectiveness of mathematics
![Page 26: On the unreasonable effectiveness of mathematicsWhy science is possible?The formalism of mathematical logicClassification theoryRediscovery of quantum world On the unreasonable effectiveness](https://reader035.vdocument.in/reader035/viewer/2022071503/612312a5092da978571540f9/html5/thumbnails/26.jpg)
Why science is possible? The formalism of mathematical logic Classification theory Rediscovery of quantum world
Algebraic geometry versus Euclidean geometry.
Because the field of complex numbers is categorical, anytheory based on algebraic geometry will be categorical.
A.Macintyre (1971): Algebraically closed fields are the onlynumerical systems (fields) which are categorical.
Question (1981). Is it true that every categorical theory can bereduced to algebraic geometry? So eventually to the theory ofan algebraically closed field?
B. Zilber University of Oxford
On the unreasonable effectiveness of mathematics
![Page 27: On the unreasonable effectiveness of mathematicsWhy science is possible?The formalism of mathematical logicClassification theoryRediscovery of quantum world On the unreasonable effectiveness](https://reader035.vdocument.in/reader035/viewer/2022071503/612312a5092da978571540f9/html5/thumbnails/27.jpg)
Why science is possible? The formalism of mathematical logic Classification theory Rediscovery of quantum world
Classification Theorem
1993: (Hrushovski and Z.) Under a natural extra assumptionthe only uncountably categorical structures arealgebraic-geometric with possibly “finite fibres” over them.
B. Zilber University of Oxford
On the unreasonable effectiveness of mathematics
![Page 28: On the unreasonable effectiveness of mathematicsWhy science is possible?The formalism of mathematical logicClassification theoryRediscovery of quantum world On the unreasonable effectiveness](https://reader035.vdocument.in/reader035/viewer/2022071503/612312a5092da978571540f9/html5/thumbnails/28.jpg)
Why science is possible? The formalism of mathematical logic Classification theory Rediscovery of quantum world
2004: In general, finite fibres over algebraic-geometric objectshave quantum nature.
B. Zilber University of Oxford
On the unreasonable effectiveness of mathematics
![Page 29: On the unreasonable effectiveness of mathematicsWhy science is possible?The formalism of mathematical logicClassification theoryRediscovery of quantum world On the unreasonable effectiveness](https://reader035.vdocument.in/reader035/viewer/2022071503/612312a5092da978571540f9/html5/thumbnails/29.jpg)
Why science is possible? The formalism of mathematical logic Classification theory Rediscovery of quantum world
2004: In general, finite fibres over algebraic-geometric objectshave quantum nature.
B. Zilber University of Oxford
On the unreasonable effectiveness of mathematics
![Page 30: On the unreasonable effectiveness of mathematicsWhy science is possible?The formalism of mathematical logicClassification theoryRediscovery of quantum world On the unreasonable effectiveness](https://reader035.vdocument.in/reader035/viewer/2022071503/612312a5092da978571540f9/html5/thumbnails/30.jpg)
Why science is possible? The formalism of mathematical logic Classification theory Rediscovery of quantum world
Rediscovery of quantum spaces
Physicists discovered quantum formalism in the form of thecanonical commutation relation (Heisenberg)
QP− PQ = i~.
This relation and the physical variables Q and P speak aboutthe geometry of physical world that can not be captured byusual variables x , y , . . .
What is this geometry? How to draw pictures in this geometry?
Classifying uncountable categorical structures model theorycloses in on solving this problem.
B. Zilber University of Oxford
On the unreasonable effectiveness of mathematics
![Page 31: On the unreasonable effectiveness of mathematicsWhy science is possible?The formalism of mathematical logicClassification theoryRediscovery of quantum world On the unreasonable effectiveness](https://reader035.vdocument.in/reader035/viewer/2022071503/612312a5092da978571540f9/html5/thumbnails/31.jpg)
Why science is possible? The formalism of mathematical logic Classification theory Rediscovery of quantum world
Rediscovery of quantum spaces
Physicists discovered quantum formalism in the form of thecanonical commutation relation (Heisenberg)
QP− PQ = i~.
This relation and the physical variables Q and P speak aboutthe geometry of physical world that can not be captured byusual variables x , y , . . .
What is this geometry? How to draw pictures in this geometry?
Classifying uncountable categorical structures model theorycloses in on solving this problem.
B. Zilber University of Oxford
On the unreasonable effectiveness of mathematics
![Page 32: On the unreasonable effectiveness of mathematicsWhy science is possible?The formalism of mathematical logicClassification theoryRediscovery of quantum world On the unreasonable effectiveness](https://reader035.vdocument.in/reader035/viewer/2022071503/612312a5092da978571540f9/html5/thumbnails/32.jpg)
Why science is possible? The formalism of mathematical logic Classification theory Rediscovery of quantum world
Rediscovery of quantum spaces
Physicists discovered quantum formalism in the form of thecanonical commutation relation (Heisenberg)
QP− PQ = i~.
This relation and the physical variables Q and P speak aboutthe geometry of physical world that can not be captured byusual variables x , y , . . .
What is this geometry?
How to draw pictures in this geometry?
Classifying uncountable categorical structures model theorycloses in on solving this problem.
B. Zilber University of Oxford
On the unreasonable effectiveness of mathematics
![Page 33: On the unreasonable effectiveness of mathematicsWhy science is possible?The formalism of mathematical logicClassification theoryRediscovery of quantum world On the unreasonable effectiveness](https://reader035.vdocument.in/reader035/viewer/2022071503/612312a5092da978571540f9/html5/thumbnails/33.jpg)
Why science is possible? The formalism of mathematical logic Classification theory Rediscovery of quantum world
Rediscovery of quantum spaces
Physicists discovered quantum formalism in the form of thecanonical commutation relation (Heisenberg)
QP− PQ = i~.
This relation and the physical variables Q and P speak aboutthe geometry of physical world that can not be captured byusual variables x , y , . . .
What is this geometry? How to draw pictures in this geometry?
Classifying uncountable categorical structures model theorycloses in on solving this problem.
B. Zilber University of Oxford
On the unreasonable effectiveness of mathematics
![Page 34: On the unreasonable effectiveness of mathematicsWhy science is possible?The formalism of mathematical logicClassification theoryRediscovery of quantum world On the unreasonable effectiveness](https://reader035.vdocument.in/reader035/viewer/2022071503/612312a5092da978571540f9/html5/thumbnails/34.jpg)
Why science is possible? The formalism of mathematical logic Classification theory Rediscovery of quantum world
Rediscovery of quantum spaces
Physicists discovered quantum formalism in the form of thecanonical commutation relation (Heisenberg)
QP− PQ = i~.
This relation and the physical variables Q and P speak aboutthe geometry of physical world that can not be captured byusual variables x , y , . . .
What is this geometry? How to draw pictures in this geometry?
Classifying uncountable categorical structures model theorycloses in on solving this problem.
B. Zilber University of Oxford
On the unreasonable effectiveness of mathematics
![Page 35: On the unreasonable effectiveness of mathematicsWhy science is possible?The formalism of mathematical logicClassification theoryRediscovery of quantum world On the unreasonable effectiveness](https://reader035.vdocument.in/reader035/viewer/2022071503/612312a5092da978571540f9/html5/thumbnails/35.jpg)
Why science is possible? The formalism of mathematical logic Classification theory Rediscovery of quantum world
M
CM
-
XXy
�����-�
����9
��
-
�
�����
t
tB. Zilber University of Oxford
On the unreasonable effectiveness of mathematics
![Page 36: On the unreasonable effectiveness of mathematicsWhy science is possible?The formalism of mathematical logicClassification theoryRediscovery of quantum world On the unreasonable effectiveness](https://reader035.vdocument.in/reader035/viewer/2022071503/612312a5092da978571540f9/html5/thumbnails/36.jpg)
Why science is possible? The formalism of mathematical logic Classification theory Rediscovery of quantum world
M
CM
-
XXy
�����-�
����9
��
-
�
�����
t
tB. Zilber University of Oxford
On the unreasonable effectiveness of mathematics
![Page 37: On the unreasonable effectiveness of mathematicsWhy science is possible?The formalism of mathematical logicClassification theoryRediscovery of quantum world On the unreasonable effectiveness](https://reader035.vdocument.in/reader035/viewer/2022071503/612312a5092da978571540f9/html5/thumbnails/37.jpg)
Why science is possible? The formalism of mathematical logic Classification theory Rediscovery of quantum world
M
CM
-
XXy
�����-�
����9
��
-
�
�����
t
tB. Zilber University of Oxford
On the unreasonable effectiveness of mathematics
![Page 38: On the unreasonable effectiveness of mathematicsWhy science is possible?The formalism of mathematical logicClassification theoryRediscovery of quantum world On the unreasonable effectiveness](https://reader035.vdocument.in/reader035/viewer/2022071503/612312a5092da978571540f9/html5/thumbnails/38.jpg)
Why science is possible? The formalism of mathematical logic Classification theory Rediscovery of quantum world
M
CM
-
XXy
�����-�
����9
��
-
�
�����
t
tB. Zilber University of Oxford
On the unreasonable effectiveness of mathematics
![Page 39: On the unreasonable effectiveness of mathematicsWhy science is possible?The formalism of mathematical logicClassification theoryRediscovery of quantum world On the unreasonable effectiveness](https://reader035.vdocument.in/reader035/viewer/2022071503/612312a5092da978571540f9/html5/thumbnails/39.jpg)
Why science is possible? The formalism of mathematical logic Classification theory Rediscovery of quantum world
M
CM
-
XXy
�����-�
����9
��
-
�
�����
t
tB. Zilber University of Oxford
On the unreasonable effectiveness of mathematics
![Page 40: On the unreasonable effectiveness of mathematicsWhy science is possible?The formalism of mathematical logicClassification theoryRediscovery of quantum world On the unreasonable effectiveness](https://reader035.vdocument.in/reader035/viewer/2022071503/612312a5092da978571540f9/html5/thumbnails/40.jpg)
Why science is possible? The formalism of mathematical logic Classification theory Rediscovery of quantum world
“The fundamental laws of physics seem to be expressible assuccinct mathematical statements. ... does this fact tell ussomething important about the structure of the brain, or thephysical world, or both?”.
B. Zilber University of Oxford
On the unreasonable effectiveness of mathematics