Logicomix Notes April 3rd, 2014 Declaration of Independence o Assumptions People are instituting the government and people

ple should be able to replace the government if rights are being infringed upon o What are the inferences in this article List of facts that show that government are violating rights o Conclusion Trying to prove that that the people have the right to get rid of the government o Government has to protect axioms, otherwise if the government is not valid then people will implement the new government o Facts prove that government is not valid o People will implement new government Axioms are inputs, and the conclusion is the output o Inputs Rights of the people is True If wrong doings exists, then rights are being infringed upon If Rights are being infringed upon, then overthrow government o Process Facts are given Facts are wrongdoings Because wrongdoings exist, then rights are being infringed upon o Output: Because rights are being infringed upon, overthrow the government Hilberts Hotel o One person arrives, so move everyone in the hotel up one room o An infinite bus arrives, so move person in room to room 2 o Infinite infinite busses arrive, so move everyone in the hotel to 2 , and passenger of bus goes to hotel +1 , but not every room gets filled o Use Cantors diagonal argument for above problem o You can use these methods for fitting all rational numbers in natural number bus, but you cannot do that for real numbers. o Rational numbers are countable, and real numbers are uncountable Functions o A function takes ANY input A and gives a SINGLE output B o One-to-one: each distinct input A gives a distinct output B o Onto: Each distinct output B can come from an input A o Two sets A and B have the same size or same cardinality if there exists a one-to-one onto (bijective) function from A to B o A set A is countable infinite if it has the same cardinality as the set of o Is countable infinite o (0,1) is not countable, and so the cannot be countable