HN user

pfortuny

6,094 karma

http://pfortuny.net also info AT pfortuny.net

Posts19
Comments2,563
View on HN
www.nippon.com 4mo ago

Fields-Winning Mathematician Heisuke Hironaka Dies at 94

pfortuny
4pts2
japannews.yomiuri.co.jp 4mo ago

Heisuke Hironaka Has Died

pfortuny
41pts5
news.ycombinator.com 3y ago

Tell HN: Yes, ChatGPT does not know what it is talking about

pfortuny
1pts1
www.reuters.com 3y ago

Biden administration changes student loan guidance, as Republican states lawsuit

pfortuny
6pts1
news.ycombinator.com 4y ago

Tell HN: Have just discovered that I can use any key as Ctrl on my keyboard\

pfortuny
78pts96
www.nytimes.com 4y ago

Bat Research Group Failed to Submit Virus Studies Promptly, NIH Says

pfortuny
5pts0
www.researchsquare.com 4y ago

The Covid-19 Hospitalization Metric in the Pre- and Post-Vaccination Eras

pfortuny
2pts1
www.theguardian.com 6y ago

Lee Se-dol retires from Go game

pfortuny
4pts2
www.thedrive.com 7y ago

A Single Component Can Brick Older Teslas

pfortuny
150pts97
www.nytimes.com 7y ago

They Were Promised Coding Jobs in Appalachia

pfortuny
301pts321
www.theguardian.com 9y ago

Dismay as Alzheimer's drug fails in clinical trials

pfortuny
6pts0
bmjopen.bmj.com 10y ago

Lack of an association between LDL cholesterol and mortality in the elderly

pfortuny
5pts0
www.reddit.com 10y ago

Is it possible to detect visible light with an antenna?

pfortuny
1pts0
fivethirtyeight.com 11y ago

UK general election 2015

pfortuny
3pts0
www.telegraph.co.uk 11y ago

Pilot averted disaster with seconds to spare after plane hit by lightning

pfortuny
2pts0
www.theguardian.com 12y ago

Cannabis really can trigger paranoia

pfortuny
7pts6
www.nytimes.com 12y ago

Boeing Warns of Icing Risk on Some Planes

pfortuny
2pts0
online.wsj.com 13y ago

Michael B. Mukasey: Leaking Secrets Empowers Terrorists

pfortuny
1pts0
www.texasarmoring.com 13y ago

Standing behind your own product IRL: Texas Armoring Corp.

pfortuny
1pts0

Well, that is what markets do: behave. Rationally or not.

The 1929 panic was also irrational but it happened. There is no way to solve that.

Panics happen and bubbles too, and in the meantime, very long term investments tend to grow (in average), as long as the economy works as expected (improving in average, long-term).

Of course, catastrophes are not impossible (the Black Death, the French Revolution, World Wars...).

That summurizes it pretty well. The Commission is essentially omnipotent, and there is no relevat judiciary to stop it.

This is farcical.

Yes, from a PURELY MONETARY viewpoint, Brexit was a disaster. But there are more important things than money.

I'm from Spain btw.

I would call it "Engineered (as machine-made trustworthy) Mathematics": you have results but nobody undrstands them but they were not produced by humans.

Despite that, people use them. In that sense, similar to the Finite Elements method. But the tools (statements) are machined like any other tool (screwdriver).

Similar to microprocessors in your example. But about statements.

Science is not about results, it is about the transmission of knowledge. So long as those AI-"sciences" are just inside AI, they are "engineering", not science.

I am not dismissing engineering (it moves the world we live in), just trying to clarify what science is.

Applied fluid dynamics works like that: noone has ever really "verified" that the finite-element method applied to some specific model does converge

You are right. But there is also the stress for the low and middle class and there horrible conditions of the poorest countries.

Not so sunshiny when you think about the millions of people struggling to have a meal each day.

Mathematics is a language for humans, not just for machines. We may agree to let machines "do their thing" for as long as they want but to what purpose? Just creating "results"? What is a mathematical result by itself?

Unless, of course, we are willing to give machines the responsibility of building bridges. Subject on which I do not have a clear opinion yet.

But just hard drives (or whatever) filled with bytes representing strings representing nothing any human will ever understand... I am not for it (as of now). There are much more important problems to solve.

Much (most?) of math consists in transmission of it (according to Thurston [1]), a 1000-page proof with no possibility of transmission is mostly useless. The proof of Fermat's last Theorem is important in itself, and adds much more than the mere result.

I am not talking about the supposed "beauty" of a proof (I do not believe in that concept, rather in "elegance", which is not the same), I am talking about the proof itself, and the insights it provides.

[1] https://www.ams.org/journals/bull/1994-30-02/S0273-0979-1994...