Hi everyone,

The grades for Exam #3 are posted on the “Grades page – the exams will be returned on Tuesday. Let me know if you have any questions.

Regards,

Prof. Reitz

Skip to the content

Hi everyone,

The grades for Exam #3 are posted on the “Grades page – the exams will be returned on Tuesday. Let me know if you have any questions.

Regards,

Prof. Reitz

- When should one use transfinite induction? March 22, 2023I've come across it multiple times now in proof theory papers that authors use (sometimes quite elaborate) inductions in order to prove easy results. The most striking example is the following, where O is the class of countable ordinals: From: Jean H. Gallier, "What's so special about Kruskal's theorem and the ordinal $Γ_0$?", Annals of […]10012511
- Gödel on the “True Reason” for Incompleteness March 21, 2023In footnote 48a of his famous paper on incompleteness, Gödel writes: [T]he true reason for the incompleteness inherent in all formal systems of mathematics is that the formation of ever higher types can be continued into the transfinite (see Hilbert 1926, page 184), while in any formal system at most denumerably many of them are […]neddo
- Intuitionistic Logic vs Constant Domains March 21, 2023Quantified modal logic is a controversial field, specifically since it forces one to consider what is meant by “world” in Kripke Semantics. For example, the formula $\Box \forall x \varphi \implies \forall x \Box \varphi$ requires that if $\Box \forall x \varphi$ is true at a world $w$, then every object in $w$’s domain must […]RW_123
- Determining a statement's truth value from given definitions March 21, 2023Let the predicates $P(x)$ and $Q(x)$ be defined on set $\{a, b, c\}$ as \begin{array}{|c|c|c|c|} \hline x& a & b & c \\ \hline P(x) & 1& 1&0\\ \hline \end{array} \begin{array}{|c|c|c|c|} \hline x& a & b & c \\ \hline Q(x) & 1& 0&0\\ \hline \end{array} What is the truth value of $$∃x∀y\;(P(x) \leftrightarrow Q(y))?$$Traa
- use the law of logic to show that ~(p->~q) ^(r->q)^q is equivalent to p^q [closed] March 21, 2023Use the law of logic to show that ~(p->~q)^(r->q)^q is equivalent to p ^ q. Explain each step fullyLuke
- Ambiguity about principle of excluded middle March 21, 2023According to the principle of excluded middle, every statement is either true or false. It might sound a little ridiculous, but consider the following statement: Mountains believe in God. Believing in God has no meaning for things and beings that do not have intelligence. So what truth value should be determined for the above statement? […]Amin
- How to proof that Classic (Propositional) Logic and Priest's (Propositional) Logic of Paradox have the same logical truths? March 21, 2023As far as I understand it, in Priest's "Logic of paradox" there is a proof to the effect that $\phi$ is classically valid IFF $\phi$ is valid in the Logic of Paradox (LP), that is: $\vDash_C \phi$ IFF $\vDash_{LP} \phi$. Priest says that the proof from right to left is immediate since every two valued […]Frank
- How to understand Godel's Theorems [duplicate] March 21, 2023Can someone with close to zero knowledge of higher mathematics understand Godel's Theorems or does he first have to learn some mathematics? If the answer to the first part of the question above is yes, how can I do so? Ideally, I would like to understand Godel's original paper.user56417
- Software Recommendation for Theorem Suggestions March 21, 2023So I am not sure if this software already exists or perhaps this is something that humanity has to embark on to finally have as a product. A bit about myself, I am student training in a sub-area of Mathematical Logic. My question is as follows, I wished to know if there is a software […]Ramit
- Ockhamist temporal language - confusion on definitions March 21, 2023What does $T,t',b \models\phi$ mean? Is it the same as $T,t' \models \phi$ after you have fixed the branch $b$ and $t'$ such that $t' \in b.$ If so wouldn't "for all branches $b'$ through $t$: $T,t,b' \models \phi$" be the same as $T,t \models \phi$. I am definitely missing something here.CHTM

advice for the future
assignment
assignments
calculus
calendar
cancelled
conjecture
date change
due date
exam #3
exam 1
exam 2
extension
grades
grading criteria
grading policy
graph theory
group paper
group project
homework
in-class
late
lockhart's lament
mathography
metacognition
MIU puzzle
office hours
openlab
OpenLab #4: Bridges and Walking Tours
OpenLab 8
OpenLab8
perfect circle
points
presentation
project
resource
review
rubric
semester project
vi hart
visual math
Wau
webwork
week 8
written work

© 2023 2016 Fall – MAT 2071 Proofs and Logic – Reitz

Theme by Anders Noren — Up ↑

Our goal is to make the OpenLab accessible for all users.

top

Our goal is to make the OpenLab accessible for all users.

## Leave a Reply