Sentence (mathematical logic) Puns

If you average down enough eventually you break even.

We've had a lecture in Philosophy of Mathematics today, and today's topic was Intuitionism. I find it an interesting idea

But let's say we would take Intuitionism as our basis, what impact would it have? Wouldn't a lot of theorems which are proved by contradiction be invalid? What other consequences would it have?

I have some mathematical background, I started a maths degree but had to drop out for personal reasons after a year or so, but I still want to study by myself and I am interested in mathematical logic, metamathematics and so. Gödel's incompleteness theorems and that kind of stuff. What do I need to study or what is the path I should take in order to get there? (I know is going to take a long time, but I don't care)

Hey everyone, first post on this subreddit, and I've only recently checked out the content here. I made a quick video regarding a build that I think works really well on Aphelios, which I've linked down below. Looks like a lot more people knew about the benefits of lethality than I previously thought, but I hope that the video helps regardless, and that my reasoning is sound. Constructive criticism/discussion is welcomed. Thank you!

Video: https://youtu.be/iKfgw5QwB4c

I’m really interested in this course, but I have only a math background, not philosophy. I can’t find any prereqs listed, but it is 400 level. Would anyone who has taken this comment on the philosophy knowledge required? Thanks!!

Edit: ok thanks so much for sharing everyone! I’m hype and i’m gonna take it :)

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!

Hey all,

So I'm coming at this with a background in Math and Philosophy of Logic, but I've been wondering for a while if there's a well-established generalized model of a CPU or an arbitrary architecture.

I've looked around and the only article I've found related to this question is Nakamura (1992). It seems to have the answer I'm looking for, but is overly Formalist and contains so much unnecessary content that it's been a pain to parse for the really useful info. I'm wondering if there's a more simple model or algorithm because I feel the question I'm asking is rather straightforward. Perhaps it's poorly formulated, but if so, kindly let me know.

Side note: I've read Harris & Harris' Digital Design and Computer Architecture, so I know how processors work internally. I'm just looking for an abstract overview that can describe all CPUs.

If really there's no better answer, that's cool, I'll make my way through Nakamura. Just thought I'd ask.

Thanks in advance.

I'm interested in Wittgenstein and philosophy of mathematics/logic and was wondering if there were any courses that go over any of that area of philosophy. It looks like the only courses on the catalog that would offer info on these haven’t been offered for years.

Everytime i try to talk to someone about logic they end up insulting me and calling me a nerd. So i was wondering if anybody else my age likes logic or if its just me

Let Aᵢ be a non empty collection of sets indexed by I. Determine the truth

of each of the following statements and their converses:

1. x ∈ ∪ᵢ∈IAᵢ => x ∈ Aᵢ for at least one i ∈ I.

2. x ∈ ∪ᵢ∈IAᵢ => x ∈ Aᵢi for every i ∈ I.

3. x ∈ ∩ᵢ∈IAᵢ => x ∈ Aᵢ for at least one i ∈ I.

4. x ∈ ∩ᵢ∈IAᵢ => x ∈ Aᵢ for every i ∈ I.

5. Write down the contrapositive of the above four statements.

In the ∪ᵢ∈I , the ∈ and I are subscript. Same for the ∩ᵢ∈I.

Hello everybody,

I am a self-taught student who wants to enhance its abilities in computer science, data science and writing. To achieve that goal I understand the importance of mathematics and linguistics, but beside the science behind these subjects, I want to see what the philosophers say about it. Firstly, it's important to say that I don't have a strong background in philosophy, just videos, podcasts and articles is what I consume. So, I would like ask for a introductory reading list on philosophy of language, logic and philosophy of mathematics in hope that it would help me to understand better this subjects.

Thank you in advance!

Project moved to https://github.com/zakalwe2040/marain

https://preview.redd.it/dcu5dsm79j971.png?width=866&format=png&auto=webp&s=28724e224ed5711bb9fcd009718de0623b197c0a

Feedback most welcome!

Even though computability theory is considered part of mathematical logic. Mathematicians call it recursion theory.

A function f : R -> R is said to be continuous

at the point x₀ ∈ R if and only if for every ε > 0 there exists a δ > 0 such that for x

satisfying |x - x₀| < δ we have |f(x) - f(x₀)| < ε . Write down when a function is not

continuous.

I don't want to ask another non-cs major breaking into tech question. I am currently a student finishing a bachelor of science in philosophy ( mathematical modal logic) + double minor in (math + stats). I was originally a CS major but because I did poorly in my freshman and sophomore years I couldn't get into the core CS program.

I have a full time swe offer lined up in June next year (good ecommerce company) and I have taken some of the core data structures courses in school. I want to work in the valley, in one of the big 4. It has been a dream for me but it breaks my heart everytime I see Amazon, FB or any other company that list MS, BS in CS as the basic requirement...

What do I do guys? Do I need a masters in CS? What can I do to break into the valley companies ( currently in Canada)

A large extract from chap. 1 of his book Socratic Logic can be found here:

https://www.amazon.com/Socratic-Logic-Questions-Aristotelian-Principles/dp/1587318083

Is there any merit to Kreeft's various criticisms of symbolic logic?

I have to find a formula composed from P, Q, R, that has the value column of t, f, f, f, t, f, t, f.

I've been racking my head for the past 2 days on this and I can't find the solution. The only connection with 3 t's is an implication, so I suppose the answer would be some form of A -> B?