You can find them on the “Grades” page (email me if you don’t remember the password).

The exams will be returned on Tuesday.

Best,

Prof. Reitz

Skip to the content

You can find them on the “Grades” page (email me if you don’t remember the password).

The exams will be returned on Tuesday.

Best,

Prof. Reitz

- Why doesn't this diagonal argument work? June 22, 2024I have a question about the standard rules for computing p.r. terms (see below). It seems pretty clear that these rules could be used to define a p.r. operation that evaluates any p.r. term of the form $f_n(n)$. But we know that such an operation does not exist, due to diagonalization arguments. What am I […]nontology
- How would it be possible to encoding a row and a column with a single number? But the row or column or both are negative June 21, 2024I know that you can represent a row and column in a single number by multiplying the row by a number and adding the column, for example 5 * 8 + 3 = 43 And 43 is: row: 8/43 = 5.375 = 5 column: 43 mod 8 = 3 And that number 43 would have […]Sleep
- seating arrangement for 54 people at 9 tables switching tables and groups 4 times [closed] June 21, 2024I have 54 people and 9 tables. I want the people to be spread out over the tables. Then they switch tables such that they sit with different people. I want people to switch 4 times, each time sitting with different people. Could you provide me with the seating arrangement for each of the 4 […]Kai Polak
- Why do we need a metatheory if we can include self-referencing language in the object theory? June 21, 2024I am wondering why we need to have a metatheory in order to talk about a theory- why can't we just add self-referencing terms to the language of the formal system on which the theory itself is based, such that all of the statements we make in a metatheory can be made in its object […]Princess Mia
- The connection between logic and algebraic manipulations June 21, 2024I've been studying logic as part of my Discrete Mathematics course and I understood most of the material so far: statements, predicates, connectives, arguments, etc. The book was very thorough and the material clear, however, now that it is moving to proofs of actual mathematical theorems, I feel it became much sloppier in explaining what's […]Daniel
- Finding the coordinate of four points of imaginary intersecting lines which passes through end points of two intersecting lines June 21, 2024image I want to find the coordinates of the points A,B,C,D where two imaginary lines intersect each other, where this imaginary lines passes through the end points of the two lines L1 and L2, the imaginary lines AB and DC are parallel to line L2 and the imaginary lines AD and BC are parallel to […]Basavaraj Kittali
- What is the formal system when we are using many different sets of axioms? June 21, 2024I am just starting to learn about formal systems, and have learnt that the many axiom systems in Mathematics, such as those of plane geometry, Peano's axioms, vector axioms, etc. can each be used to form different formal systems. However, in informal mathematics, we often couple multiple branches together, e.g. like when we use the […]Princess Mia
- Writing the definition of Upper Bound June 21, 2024Let X be an ordered set. Let $ S \subset X.$ An element $ u \in X$ is said to be an upper bound for $S$ if $s \leq u$ for all $ s \in S.$ In first-order logic, how do I write the above definition? Is it something like this? $\forall u \in X\quad($$(\forall […]Dr. J
- Does every proof need an axiom saying it works? June 20, 2024I am wondering whether for every (valid) proof $P$ done in mathematics, at least one of the following statements are true: There is an axiom guaranteeing that its schema indeed gives us license to conclude the truth of what it purports to prove (an axiom saying the proof works, like how the axiom of induction […]Princess Mia
- Can conjunction be expressed via negation and equivalence? [closed] June 20, 2024Is it possible for conjunction to be expressed via negation and equivalence? I am studying for my Logic exam and I can't find answer to this anywhere. If it's not possible could you give me explanation why?Ива Милошевић

"Math Improve"
.999
1
assignment
assignments
calculus
exam #3
exam 3 grades
final papers
grading criteria
grading policy
graph theory
group
group paper
group project
homework
mathography
metacognition
openlab
OpenLab #4: Bridges and Walking Tours
Open Lab #6
OpenLab7
OpenLab 8
OpenLab8
Open Lab 8
Openlab8 Vi Hart
openlab assignment
perfect circle
points
presentation
project
resource
rubric
semester project
spring classes
Stars
vi hart
ViHart
visual math
Wau
webwork
week 8
week 14
welcome
written work

© 2024 2017 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