Bertrand Russell’s infinite sock drawer

Re:Bertrand Russell’s infinite sock drawer by Koshkin on Saturday June 13, 2020 @06:53AM (#23508562)

Problem is, unlike conclusions, premises are usually sufficient but not necessary.

[ Parent | on HN ]

Re:Bertrand Russell’s infinite sock drawer by ukj on Saturday June 13, 2020 @06:56AM (#23508571)

I'd say ,given the nature and flow of reverse mathematics, conclusions are necessary but insufficient for premises.

The erudite/formal lingo aside. Reverse mathematics is a nice metaphor for how justification works in practice.

[ Parent | on HN ]