Site Map - skip to main content

Hacker Public Radio

Your ideas, projects, opinions - podcasted.

New episodes every weekday Monday through Friday.
This page was generated by The HPR Robot at


hpr3606 :: Infinity is just a big number and other proofs

Ken proves Mathematically that programming is not easier with maths.

<< First, < Previous, , Latest >>

Thumbnail of Ken Fallon
Hosted by Ken Fallon on 2022-05-30 is flagged as Clean and is released under a CC-BY-SA license.
math, programming, infinity. 2.
The show is available on the Internet Archive at: https://archive.org/details/hpr3606

Listen in ogg, spx, or mp3 format. Play now:

Duration: 00:09:21

general.

Response to hpr3568

  Title         PopKorn Episode 2: Programming, Mathematics, and Asymmetric Literacy
  Artist        BlacKernel
  Album         Hacker Public Radio
  Comment       https://hackerpublicradio.org Clean; in This episOde, blackeRnel Tries to help yoU undeRstand Enough about math and programming The license is CC-BY-SA
  Date          2022
  Track Number  3568
  Genre         Podcast

https://en.wikipedia.org/wiki/Mathematical_joke
Mathematicians are also shown as averse to making hasty generalizations from a small amount of data, even if some form of generalization seems plausible:

An astronomer, a physicist and a mathematician are on a train in Scotland.
The astronomer looks out of the window, sees a black sheep standing in
a field, and remarks, "How odd. All the sheep in Scotland are black!" "No,
no, no!" says the physicist. "Only some Scottish sheep are black." The
mathematician rolls his eyes at his companions' muddled thinking and says,
"In Scotland, there is at least one sheep, at least one side of which
appears to be black from here some of the time."[Stewart, Ian (1995).
Concepts of Modern Mathematics. ISBN 9780486134956.]

https://en.wikipedia.org/wiki/Mathematical_proof

A mathematical proof is an inferential argument for a mathematical
statement, showing that the stated assumptions logically guarantee the
conclusion.

Stated assumptions

Simplifying the statement

  Knowing math makes programming way easier.

Rearrange and problem

There are no humans that ever existed or will ever exist that will not
find programming easier having a knowledge of maths.

I exist. I do not find programming easier despite my knowledge of maths.

Q.E.D.

other points

"Ability to think logically - which is what math is."

This assumes that math is the only field where the ability to think logically exists. Math is a subset of logical thinking and not the other way around. I can think of hundreds of occupations that require logical thinking that do not require any maths. It would be difficult to argue this point as it could be argued, as most people are exposed to counting no matter what level of literacy they may have access to. So let us refer to studies with crows that shows that they do think logically - despite any math knowledge.

Programming is ...

The wikipeda entry has 19 other definitions for programming but OK.
https://en.wikipedia.org/wiki/Program

Asymmetric literacy

"Is an example where you can read or write in a specific language but not necessarily doing both."

Chinese written language can be understood by multiple spoken languages. However the nuance is greater if the writer and reader shared the same language/understanding.

"Because math and computer are the same thing under the hood if you
understand it then you understand the programming a lot better. But if you
use some other analogy .. you'll write programs that are perfectly fine
and perfectly work, but it won't be as exact or as nuanced as it could be
if you also knew math. That's what I was saying."
  • Computer CPU has a bunch of instruction sets in it. Tells the computer what transistor operation to perform

  • Logical extension of the instruction set

  • There is nothing in programming that is not covered by the instruction set.

  • Same way in math depends on axioms

  • "They are the same thing, .. the exact same process"

    "Because they are the same thing under the hood, if you understand how to do math, then you'll understand how to make your programs better, because you can write your programs in a way that reflect the underlying structure of the computer which will make your programs run more efficiently as giving you insight into how errors may be occurring etc etc etc."

That may have been valid in the pioneering days of computers if we just have one chip with one instruction set. Nowadays programs run on systems that run in Java Virtual Machines, which run on docker containers, running on Virtual Machines, spread across multiple clusters, finally hitting different processors each with their own different instruction sets, then down to different cores.

Turtles all the way down.

No they are not. Math axioms do not change from chip manufacturer to chip manufacturer.

https://en.wikipedia.org/wiki/Comparison_of_instruction_set_architectures

Axioms

https://en.wikipedia.org/wiki/List_of_axioms

  • Axiom of extensionality

  • Axiom of empty set

  • Axiom of pairing

  • Axiom of union

  • Axiom of infinity

  • Axiom schema of replacement

  • Axiom of power set

  • Axiom of regularity

  • Axiom schema of specification

      "You take Logical Deductions from those axioms, that's what math is.
      Math is a series of logical deductions or proofs utilizing previous
      proofs or axioms. That's all math is. Can be in different forms."
    

https://en.wikipedia.org/wiki/Euclidean_geometry#Axioms

Axiom of infinity

Flawed assumes infinity exists. I reject this as the proof is take a big number +1 keep adding to it. What you actually get is a even bigger integer and not infinity.

https://en.wikipedia.org/wiki/Coastline_paradox

Infinity is our inability to think big, and math reflecting that shows a flaw in maths.


Comments

Subscribe to the comments RSS feed.

Comment #1 posted on 2022-06-01 20:31:21 by Kevin O'Brien

Not like me

At the end of each show a lady with a lovely voice says that the episode was made "by a listener like you." Today's episode definitively disproves that because it was clearly made by someone not at all like me.

Comment #2 posted on 2022-08-12 12:30:10 by Ken Fallon

You see

5 panels from SMBC

Woman: GOD...Is Math Real GOD: What's math Woman: You know like One plus One Equals two GOD: One of what ? Woman: Just...yoou know...one. GOD: The FUCK are you talking about. GOD: You can't have one. One is a description. it's like saying "I have a spotted" instead of "I have a spotted cow" or "I have a spotted dog" Woman: I guess infinites are right out the window, then. GOD: What is *going on* down there ?

Leave Comment

Note to Verbose Commenters
If you can't fit everything you want to say in the comment below then you really should record a response show instead.

Note to Spammers
All comments are moderated. All links are checked by humans. We strip out all html. Feel free to record a show about yourself, or your industry, or any other topic we may find interesting. We also check shows for spam :).

Provide feedback
Your Name/Handle:
Title:
Comment:
Anti Spam Question: What does the letter P in HPR stand for?
Are you a spammer?
What is the HOST_ID for the host of this show?
What does HPR mean to you?