Hacker News

Top stories

Live mirror
30 storiesupdated just nowView source snapshot
  1. One Year of Sponsored Servo Development(servo.org ↗)
    46comments
  2. GLM Built Its Own Inference Infrastructure(z.ai ↗)
    55comments
  3. Nvidia announces native GPU programming in Rust(nvidia.com ↗)
    299comments
  4. Keys Not Included: recovering the signing keys for US driver's license barcodes(ryan.science ↗)
    70comments
  5. My temporary PHP fix from 2014 has nearly 20M installs. Today I'm deprecating it(jakeasmith.com ↗)
    31comments
  6. The Relation Between Mathematics and Physics by Paul Dirac(cam.ac.uk ↗)
    21comments
  7. Better Vector Search for Long Documents: Chunking Inside Manticore Search(manticoresearch.com ↗)
    discuss
  8. Neovim have a ~$800k Bitcoin donation sitting untouched since 2023
    2comments
  9. Training a 4B model to produce 81% faster query plans than Postgres(rohanbansal.com ↗)
    120comments
  10. OpenAI Model Misalignment Report(openai.com ↗)
    20comments
  11. Online Z3 Guide(microsoft.github.io ↗)
    5comments
  12. Lucasart's Afterlife(togameforlife.wordpress.com ↗)
    18comments
  13. Xiaomi Mimo 2.6 live post-training dashboard(xiaomi.com ↗)
    122comments
  14. Comparison of Malloc() Algorithms(egbert.net ↗)
    12comments
  15. Small programming tricks(will-keleher.com ↗)
    241comments
  16. Backups Aren't Simple(filipovski.net ↗)
    155comments
  17. Breaking the 1.58-bit Barrier for Ternary LLMs(arxiv.org ↗)
    34comments
  18. Developing provably correct Rust code with Verus(amazon.science ↗)
    21comments
  19. A 32-year-old bug walks into a Telnet server(watchtowr.com ↗)
    27comments
  20. Cloudflare/Security-Audit-Skill(github.com/cloudflare ↗)
    16comments
  21. The engineering behind the US Strategic Petroleum Reserve(johnjwang.com ↗)
    84comments
  22. Show HN: An e-ink frame that hears birds and draws them as 1800s illustrations(github.com/arnegiacomo ↗)
    243comments
  23. AWS says it can't restore some data from mideast facilities struck by Iran(wsj.com ↗)
    352comments
  24. HarnessTax: How Much Does the Harness Matter for Coding Agents?(harnesstax.github.io ↗)
    55comments
  25. PCB is brought to you by Fable 5(a6mzero.com ↗)
    53comments
  26. Performance Improvements in .NET 11(devblogs.microsoft.com/dotnet ↗)
    70comments
  27. Back to the future: modules for Guix packages (2022)(guix.info ↗)
    1comments
  28. Japan's book scene is moving from bookstores to libraries(untranslatedjp.substack.com ↗)
    81comments
  29. OpenSpec – A lightweight and configurable AI spec framework(openspec.dev ↗)
    65comments
  30. Reversing Factorio's RNG(gegell.github.io ↗)
    39comments

The Relation Between Mathematics and Physics by Paul Dirac

62 pointsby 3d agodamtp.cam.ac.uk
21 comments
3h agoHN ↗

there is a quote from Pauli about Dirac : 'There is no God and Dirac is his prophet' Heisenberg and Dirac had different opinions on the existence of a god and Pauli, asked for his opinion, had the former to say

2h agoHN ↗

There's a quote Atiyah has about spin geometry which he heard from his advisor Hodge, who had an office next to Dirac at Cambridge.

Only two people understand spinors: God, and Dirac. And Dirac's dead.

3h agoHN ↗

Haven’t even made too far down, but:

”There is no logical reason why the second method should be possible at all, but one has found in practice that it does work and meets with reasonable success. This must be ascribed to some mathematical quality in Nature, a quality which the casual observer of Nature would not suspect, but which nevertheless plays an important role in Nature's scheme.”

I mean, Hume answers this, but so does time, and I guess they both answer it together. Our observed measurements are true for the certain time period we’re in and remain true while we are in that window. To conclude with Hume, it’s all true until it isn’t, in time (well I suppose even in timelessness, entire properties can change - even so, with respect to measuring, I believe that requires a physical step function so we can’t avoid time here :)).

Aside:

”This is a quality which cannot be defined, any more than beauty in art can be defined, but which people who study mathematics usually have no difficulty in appreciating.”

Thorough worshipping of Math and “Mathers”, like as if they are a gift from God. Again, let’s stick with Hume, you’re the shit until you’re not. Einstein went to death not understanding Physics as he wanted to.

Hey, I’m a programmer, I didn’t necessarily want robots to do my job either. God loves that essay Hume wrote, truly.

It’s all fun and games until God mindfucks your understanding.

2h agoHN ↗

This is probably a reference to Hume's problem of induction, i.e. that observing a regularity in the past cannot justify assuming that it will hold in the future. It's vaguely related to the article, but talking about "time windows" and "Mathers" muddles the point.

2h agoHN ↗

Is it vaguely related? He wondered why measuring anything even works. Why wouldn’t the measurement disappear, thus making all this measuring pointless? Because, apparently the measurement(s) are true each time-step, and it will be true for that time, until it’s not true. Why it reasonably works well for us? Well, God , I guess. Same way the Sun doesn’t burn our skin off (God, I guess, but some have issues with that).

Sorry, I had to critique that immediately because I could already see that other second paragraph I quoted coming, as in, this author probably worships Math, Science, and those that do it, certainly not God, because he was unable to characterize the phenomena of it as related to God.

2h agoHN ↗

Yes, vaguely related. Dirac is not wondering why measurement itself works, but why mathematical reasoning applies so effectively to the measurement results.

I think it's valid to be surprised that all observations of a physical phenomena up until this point have obeyed a beautiful and (relatively) simple mathematical relationship, without even thinking about predicting the future.

1h agoHN ↗

Measurement works because universe moves in a simple way. As Hume indicates, you need very complex motion for irregularity, maybe even sentient, but sentient universe is fairy tale.

1h agoHN ↗

Math, Science, ..., certainly not God

Pretty much everyone worships some sort of God. (The exceptions are non-self-aware people living moment-to-moment.)

What people argue about is the degree of personality and autonomy that God possesses.

2h agoHN ↗

There is no logical reason why the second method should be possible at all,

One reason I can think of is if we consider that some regularity in the physical behavior is required for consciousness to evolve and so consciousness only forms in such worlds.

53m agoHN ↗

Later down in the essay, Dirac himself answers this;

With this kind of cosmological picture one is led to suppose that there was a beginning of time, and that it is meaningless to inquire into what happened before then. One can get a rough idea of the geometrical relationships this involves by imagining the present to be the surface of a sphere, going into the past to be going in towards the centre of the sphere, and going into the future to be going outwards. There is then no limit to how far one may go into the future, but there is a limit to how far one can go into the past, corresponding to when one has reached the centre of the sphere. The beginning of time provides a natural origin from which to measure the time of any event. The result is usually called the epoch of that event. Thus the present epoch is 2 x 109 years [actually 2x10^9].

One further point in connection with the new cosmology is worthy of note. At the beginning of time the laws of Nature were probably very different from what they are now. Thus we should consider the laws of Nature as continually changing with the epoch, instead of as holding uniformly throughout space-time. This idea was first put forward by Milne, who worked it out on the assumptions that the universe at a given epoch is roughly everywhere uniform and spherically symmetrical. I find these assumptions not very satisfying, because the local departures from uniformity are so great and are of such essential importance for our world of life that it seems unlikely there should be a principle of uniformity overlying them. Further, as we already have the laws of Nature depending on the epoch, we should expect them also to depend on position in space, in order to preserve the beautiful idea of the theory of relativity there is fundamental similarity between space and time. This goes more drastically against Milne's assumptions than a mere lack of uniformity in the distribution of matter.

Show respect to Mathematicians/Physicists/etc. many of whom had studied Philosophy and i dare say had a better understanding/insight of it than mere academic Philosophers. Why? Because they don't go off into la-la land but try very hard to have both observed evidence and a mathematical model of it match cleanly via a Theory.

For your edification, read first "Meditations on First Philosophy by Rene Descartes" followed by "Physics and Philosophy by Werner Heisenberg".

2h agoHN ↗

Shouldn't this have a "(1939)" suffix on the title according to HN rules? ;)

1h agoHN ↗

but as time goes on it becomes increasingly evident that the rules which the mathematician finds interesting are the same as those which Nature has chosen

This is quantifiable, right? Should be possible to measure how many mathematicians favor ideas like turbulence, macroscopic quantum physics, anthropic principle, analog geometry, finitism. I think, mathematics doesn't really try to match physics yet.

1h agoHN ↗

"I would like to put forward a suggestion as to how such a scheme might be realized. If we express the present epoch, 2 x 109 years, in terms of a unit of time defined by the atomic constants, we get a number of the order 1039, which characterizes the present in an absolute sense. Might it not be that all present events correspond to properties of this large number, and, more generally, that the whole history of the universe corresponds to properties of the whole sequence of natural numbers? At first sight it would seem that the universe is far too complex for such a correspondence to be possible. But I think this objection cannot be maintained, since a number of the order 1039 is excessively complicated, just because it is so enormous. We have a brief way of writing it down, but this should not blind us to the fact that it must have excessivly complicated properties."

this cannot be an early hint to the result made by chaitin; Chaitin’s Incompleteness Theorem?

27m agoHN ↗

Correct (but now we know it should be somewhat higher than that), and 1039 should be 10^39, one of Dirac's Large Numbers, the size of the observable universe in atomic units, and also the ratio of electromagnetic to gravitational forces in the hydrogen atom.

1h agoHN ↗

The dominating idea in this application of mathematics to physics is that the equations representing the laws of motion should be of a simple form. The whole success of the scheme is due to the fact that equations of simple form do seem to work. The physicist is thus provided with a principle of simplicity, which he can use as an instrument of research.

https://arxiv.org/abs/math-ph/0009007

Occam's Razor as a Formal Basis for a Physical Theory

We introduce the principle of Occam's Razor in a form which can be used as a basis for economical formulations of physics. This allows us to explain the general structure of the Lagrangian for a composite physical system, as well as some other artificial postulates behind the variational formulations of physical laws. As an example, we derive Hamilton's principle of stationary action together with the Lagrangians for the cases of Newtonian mechanics, relativistic mechanics and a relativistic particle in an external gravitational field.

1h agoHN ↗

Now dive down into Math with Penrose and David Bohm with the implicate order.