Alonzo Church Puns

Alonzo Church was easily one of the pivitol figures in the creation of computer science. I don't think his contributions were as impressive as Turing's overall, but I still feel like he definitely did enough to garner a lot more recognition and to be known as a "father of computer science" for all the title is worth.

A few of his accomplishments include:

1. The invention of λ-Calculus, which was a Turing-complete language that was invented (or at least published) before Turing's Turing-Machines was published. λ-Calculus is super-essential of PL Theory, a major area of research. If you're not convinced, searching for "λ-Calculus" in Arxiv shows 720 results (compared to 823 results when looking up "Turing Machine").
2. Proving the Entscheidigungsproblem is undecidable (also independently proven by Turing soon after with respect to publishing dates).
3. Proving Peano Arithmetic is undecidable.
4. Being half of the Church-Turing thesis.

I try my best to have an open mind about these things, so if anyone disagrees, I would love to hear why!

I also realize that these labels are no

Hey all, I am a software engineer and former math major who is reading Alonzo Church's Introduction to Mathematical Logic for self-education/fun to learn about propositional calculus, since I find functional programming and lambda calc pretty interesting.

The book has some exercises, but there are no solutions. When I read a math book I typically will use solutions to check my work/fix any misconceptions I may have from self studying.

Does anyone know of any places online I can find the solutions to exercises? Ideally for free, but willing to pay a bit if it means getting good solutions for the book.

Thanks!

I really don't understand what this is supposed to prove about abstract objects.

Lambda

> Moreover, the doctrine of meaninglessness of contradictions has the severe methodological drawback that it makes it impossible, in principle, ever to devise an effective test of what is meaningful and what is not. It would be forever impossible for us to devise systematic ways of deciding whether a string of signs made sense—even to us individually, let alone other people—or not. For it follows from a discovery in mathematical logic, due to Church [2], that there can be no generally applicable test of contradictoriness.

If I'm not mistaken the Church-Turing thesis was about the effective capability of a machine to calculate the provability of a formula. It actually says nothing about humans (he'd have to talk about Godel for that I suppose). So how on earth does this apply to his discussion of human logic in ontology? Was he just messing around here?

What are the math topics and math books (or relevant literature) I should be familiar with if I want to understand the Entscheidungsproblem?

I have some background with formal mathematics (Complex Analysis, some Real Analysis, some Algebra.)

Many don’t know that Cardano names have such deeper meaning.

Here’s a breakdown.

Cardano: The name of the Blockchain developed by IOG is named after Girolamo Cardan or Cardano. He was an Italian doctor and mathematician who is famed for his work Ars Magna which was the first Latin treatise devoted solely to algebra. He also made a living for a time gambling and once slashed a man in the face for suspected cheating. Don't ask this guy for his wallet recovery words..https://mathshistory.st-andrews.ac.uk/Biographies/Cardan/

https://preview.redd.it/5h7nlmhfaq581.png?width=313&format=png&auto=webp&s=645e5062b024998784d62bb9dfdb445bbaf2c6d6

ADA and lovelace: The Native Token of Cardano, Ada, and its smallest unit of measure lovelace, comes from Ada Lovelace. She was born Ada Byron and later met Charles Babbage. Ada is often referred to as 'the first programmer'https://cardano.org/what-is-ada/

https://www.computerhistory.org/babbage/adalovelace/

https://preview.redd.it/a16qvyngaq581.png?width=200&format=png&auto=webp&s=bfcbccd6544f45554a7ec7025fc66414118588de

Ouroboros: The name of Cardano’s proof of stake consensus algorithm comes from both Egyptian and Norse folklore. Translated literally from Greek meaning “tail eater,” and depicted as a snake or dragon eating its own tail, Ouroboros often represents the circle of life.

https://cardano.org/ouroboros/

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

https://preview.redd.it/jz4nkjphaq581.png?width=329&format=png&auto=webp&s=69a5290efc5dd60ad6375eba060e65c3f17800a6

DJED: Cardano’s first stable coin also comes from an Egyptian name. Djed is the Egyptian symbol of stability, and looks a lot like a spine.https://dailyhodl.com/2021/07/17/cardano-creator-charles-hoskinson-unveils-details-on-crypto-project-djed/

https://en.wikipedia.org/wiki/Djed#:~:text=The%20djed%2C%20an%20ancient%20Egyptian,backbone%20of%20the%20god%20Osiris.

https://preview.redd.it/qwarmdsiaq581.png?width=299&format=png&

Do your worst!

It really does, I swear!

For context I'm a Refuse Driver (Garbage man) & today I was on food waste. After I'd tipped I was checking the wagon for any defects when I spotted a lone pea balanced on the lifts.

I said "hey look, an escaPEA"

No one near me but it didn't half make me laugh for a good hour or so!

Edit: I can't believe how much this has blown up. Thank you everyone I've had a blast reading through the replies 😂

They’re on standbi

Pilot on me!!

Buenosdillas

Dad jokes are supposed to be jokes you can tell a kid and they will understand it and find it funny.

This sub is mostly just NSFW puns now.

If it needs a NSFW tag it's not a dad joke. There should just be a NSFW puns subreddit for that.

Edit* I'm not replying any longer and turning off notifications but to all those that say "no one cares", there sure are a lot of you arguing about it. Maybe I'm wrong but you people don't need to be rude about it. If you really don't care, don't comment.

What did 0 say to 8 ?

" Nice Belt "

So What did 3 say to 8 ?

" Hey, you two stop making out "

When I got home, they were still there.

I won't be doing that today!

We all just want Cardano smart contracts to come and ada to hit $69.420, but everyone tends to forget just how we get to the end, why we had so many delays, what happened.

Shelly, july 2020: Shelly is hard forked, "Shelley will also see the introduction of a delegation and incentives scheme, a reward system to drive stake pools and community adoption. As a proof-of-stake network, users stake their ada to participate in the network. " proof of stake is added.

the GOGUEN update has been developed simultaneously with shelly, but now has center stage to build smart contracts. roadmap

June: Alonzo blue is released, pioneers begin nodes. Rudimentary smart contracts could be viable with Alonzo blue, they describe this as "the hello world" of smart contract updates. source

July: Alonzo White is released, simple Dapps may be created, "Alonzo blue has gone well... is complete" Alonzo white allowed more new users to set up Alonzo nodes and look further into the update. Alonzo white also ended with the idea to "take over the world" as seen in their dev update video source

August: alonzo purple is active, people are running nodes and a lot of testers are trying out smart contracts. Scalability is a big development with this update, they're pushing purple's scalability as much as possible with many rigorous tests. "we're in a very good place." the Cardano team says, about the release of smart contracts. there isn't a current update about purple but currently purple should be in a public node and finished, august 16th. and being used by pioneers. last update of alonzo

September: In early September, the foundation expects to be on the testnet. and by mid to late September... smart contracts may be released :)

disclaimer: the price of ADA is separate from the development of ADA, don't try to time the market with the updates that come out from ADA, if you love the project, buy it because you love it.

You take away their little brooms

This morning, my 4 year old daughter.

Daughter: I'm hungry

Me: nerves building, smile widening

Me: Hi hungry, I'm dad.

She had no idea what was going on but I finally did it.

Thank you all for listening.

There hasn't been a post all year!

It’s pronounced “Noel.”

Why

After all his first name is No-vac

What, then, is Chinese rap?

Edit:

Notable mentions from the comments:

• Spanish/Swedish/Swiss/Serbian hits

• French/Finnish art

• Country/Canadian rap

• Chinese/Country/Canadian rock

• Turkish/Tunisian/Taiwanese rap

There hasn't been a single post this year!

(Happy 2022 from New Zealand)

Nothing, it just waved

> Moreover, the doctrine of meaninglessness of contradictions has the severe methodological drawback that it makes it impossible, in principle, ever to devise an effective test of what is meaningful and what is not. It would be forever impossible for us to devise systematic ways of deciding whether a string of signs made sense—even to us individually, let alone other people—or not. For it follows from a discovery in mathematical logic, due to Church [2], that there can be no generally applicable test of contradictoriness.

If I'm not mistaken the Church-Turing thesis was about the effective capability of a machine to calculate the provability of a formula. It actually says nothing about humans (he'd have to talk about Godel for that I suppose). So how on earth does this apply to his discussion of human logic in ontology? Was he just messing around here?

> Moreover, the doctrine of meaninglessness of contradictions has the severe methodological drawback that it makes it impossible, in principle, ever to devise an effective test of what is meaningful and what is not. It would be forever impossible for us to devise systematic ways of deciding whether a string of signs made sense—even to us individually, let alone other people—or not. For it follows from a discovery in mathematical logic, due to Church [2], that there can be no generally applicable test of contradictoriness.

If I'm not mistaken the Church-Turing thesis was about the effective capability of a machine to calculate the provability of a formula. It actually says nothing about humans (he'd have to talk about Godel for that I suppose). So how on earth does this apply to his discussion of human logic in ontology? Was he just messing around here?