Difference between revisions of "Mathematical Logic"

From RealCTY
Jump to navigation Jump to search
Line 29: Line 29:
 
===LAN.17.1===
 
===LAN.17.1===
  
This was hella lit. More to be added shortly.
+
This was hella lit. Godel, Escher, Bach (lovingly/hatefully referred to as "GEB") was often read during the evening class sessions. Almost everyone internally groaned, some externally groaned. More to be added shortly.
  
 
===LAN.08.1 G-Farbism===
 
===LAN.08.1 G-Farbism===

Revision as of 21:57, 3 November 2017

Part of a series on
Realcty logo 20060831.png
CTY Courses
Category · Template · CAA Courses
Sites
Baltimore · Carlisle · Lancaster · Los Angeles · Saratoga Springs · Seattle
Humanities
Logic: PoR
International Politics ·
Ethics · Existentialism
Philosophy of Mind
Cognitive Psychology · Linguistics
Dissent
Newton, Darwin, and Einstein
The Art and Science of Filmmaking
Beyond the Binary: A Cultural History of Gender
Laws and Orders: Legal Systems Around the World
Writing
Writing Your World
Fiction and Poetry
Utopias and Dystopias
Persuasion and Propaganda
The Art of Fiction
Math
Probability and Game Theory
Number Theory · Mathematical Logic
Cryptology · Combinatorics and Graph Theory
Topology
Economics
Macroeconomics and the Global Economy
Fundamentals of Microeconomics
Computer Science
Data Structures and Algorithms
Fundamentals of Computer Science
Science
FPHS Biology · FPHS Chemistry · FPHS Physics
Astrophysics
Paleobiology · Genetics · Neuroscience
Investigations in Engineering
Introduction to Biomedical Sciences · Electrical Engineering
Special Relativity
Princeton & Berkeley
Global Politics: Human Rights and Justice
Human Nature and Technology
Politics and Film · Epidemiology
The Mathematics of Competitive Behavior
Science, Technology and Public Policy
Race and Politics · Politics in the Middle East
The Global Environment
Playing God: The Ethics of Human Subjects Research
You Will Be Offended: Satire, Comedy, and Public Discourse
Defunct Courses
Beginning Ancient Greek · German 1
German 2
Latin 2
French 1 · French 2
Great Revolutions
American History
Modern European History · Eastern European History
Music Theory
History of Western Art
Renaissance Art
Introduction to American Studies: Race and Class
Medieval Art
Twentieth Century Art · Gandhi's India
American Studies: The Sixties · Women and US Social Reform
American Studies: The Harlem Renaissance
Intermediate Ancient Greek
Islam · The Asian Pacific Rim
Russian History
TCE: Literature and the Arts · TCE: Popular Culture
The Crafting of Drama
The Crafting of Poetry · TCE: Shakespeare
TCE: Science Fiction
TCE: Beyond the Ring and the Wardrobe
Advanced Mathematical Modeling
Advanced Mathematical Reasoning
Statistics · Calculus: A Conceptual Approach
Topics in Precalculus
Set Theory · Digital Logic
Theoretical Foundations of Computer Science
Introduction to Laboratory Sciences · Archaeology
Ecology
Microbiology · Selected Topics in Advanced Biology
Selected Topics in Advanced Chemistry
Selected Topics in Advanced Physics · Physical Anthropology
Advanced Physics: Mechanics
Scientific Investigations: St. Mary's River · Genomics
Volcanoes
Etymologies · Oceanography: The Hawaiian Pacific
Life Cycle of an Island: Hawaii
The History of Disease · The Critical Essay: Film
Wicked Art: Pictures, Pixels, and Pens
Latin I
Goodwives and Witches: Women in Colonial America
Freaks and Geeks in Popular Media
The Digital Revolution
Advanced Robotics
Theory of Computation
Individually Paced Mathematics Sequence
Service, Leadership & Community Transformation
Advanced Cryptology
Law and Politics in US History
Intro to Organic Chemistry

Mathematical Logic, formerly Mathematical Reasoning, is a Math course in the CTY program. It requires previous enrollment outside of CTY in Algebra I. Its course code is REAS, and it is offered at Baltimore, Lancaster, and Los Angeles (second session only).

Course Description

The curriculum of Mathematical Logic varies between years and sites. Common topics include:

  • Formal logical operators such as implication, negation, "and", and "or";
  • Methods of proof, including direct proof, proof by contradiction, and induction;
  • Mathematical problem solving;
  • First-order logic;
  • Set theory;
  • Graph theory; and
  • Metalogic

Class History

Mathematical Logic is often populated with Squirrels, as its only prerequisite is Algebra I. At LAN, it is often taught by Jake, who is delightfully overenthusiastic, owns stilts, and often does circus tricks. If you have Jake for REAS, make sure to get lots of circus tricks and the mathematics of juggling!

JHU.11.1

The awesome TA Grace (who does extreme sudokus in under 10 minutes) is now called Graceta. The awesome instructor, John (who is a BEAST) is now called IJohn. The RAs were Ryan (RaRyan) and Angel (who did not have a nickname) We had the best session ever with sentential logic, quantified logic, circuit logic, mathematical induction, proofs, paradoxes, and logic puzzles. We used forallx, and with our awesome class and course, we were an AWESOME class.

The winning logic groups were the Ninjas, Unicorns FTW!, and Vegan Lamposts

JHU.10.1

With the Puzzle Master as a TA, and God of Logic/Harry Potter as a teacher, we had the greatest class ever! Popular break activity was playing with teacher's frisbee. Used textbook forallx. Class included sentential logic, quantified logic, Aristotlean logic, proofs, and logic puzzles.

LAN.17.1

This was hella lit. Godel, Escher, Bach (lovingly/hatefully referred to as "GEB") was often read during the evening class sessions. Almost everyone internally groaned, some externally groaned. More to be added shortly.

LAN.08.1 G-Farbism

Using the book Deductive Logic, by Warren Goldfarb, the students began to worship Goldfarb, calling him G-farb for short.

The religion is dead to most of Math Logic students, but G-Farb is still alive in our hearts.

LAN.06.2 Total War

In 06.2, a war between Number Theory and Math Logic erupted. The Math Logic teacher ("What's a mattababy?" "I dunno, baby, what's a matter which you?") instructed his students to chant "PROOF PROOF PROOF" to get revved up. Soon, the Number Theory students also started chanting in their classroom for all to hear. The war eventually evolved to include Etymologies. See the Lancaster Hall of Fame for more information.

In 09 and 10, both sessions, Math Logic was taught by an instructor named Jake that enjoyed circus tricks. The course was very well-taught and included lots of fun activities. The class also got to hear a lot about juggling.

In 11.2, Jake again taught Math Logic along with his awesome TA Josh. The class was a huge amount of fun, but no circus tricks to be seen (hmm...) Jake would have 3 bananas a day, and would boil water in class to make tea or coffee. There were so many proofs, and proof trees to make all day! In 2011, the three logic classes plus Math Logic got together to play proof golf in Mayser! The results were as follows: 1st place: Logic C 2nd place: Logic B 3rd place: Math Logic 4th place: Logic A. At then end of the session, Math Logic watched Inception!

LOS 17.2

LOS 17.2 Math logic was taught by Joseph Tanner Slagel (who went by Tanner) and a cool TA Celeste. The class was self-proclaimed superior to the other logic class and owned them in every way possible at Proof Golf. The hardcore proof sessions were punctuated by frequent breaks which were filled with violent and merciless 9 Square. The athletes consisted of the Ignorant Texan, Bob the Minion (and the rest of the minions), Isaac the forced King, and the also self-proclaimed great king Nils the Norwegian. As well as some minor players including Elaine, Ayla, Sloan, the Spaniard, Gina the Korean and victim Matthew who was unintentionally targeted every round. As shown, the class was very egotistical. Night sessions were filled with rushed worksheets, numerous rounds of I LOST THE GAME, Set, Butt (dubbed Bottom), BS (shenanigans), and illegal Poker with spectacular final all-in rounds. Going to see the unreal sunset accompanied by sad music became a regular past time. Truth tables were first taught but then came truth trees then natural deduction much to the students’ dismay. Tanner, a huge fan of natural deductions and truth trees, attempted to convince the class of its superiority. Everybody understood that this was pure hypocrisy, and had no utility beyond occupying the students. Tanner was a deeply philosophical man. He spent a lot of his time motivating us with quotes such as: "Be the change you want to see it the world.” A lot of students followed this trend, creating their own quotes such as "contradiction and negation bring you one step closer to the goal" by Magician Matthew. The math logic class became a family by the end of the three weeks, with the glowing last sunset still alive in everyone's hearts.