So I was reading up on first order model theory because I had no idea what it was and I came across this paragraph.
quote: For example the field of real numbers forms a structure R whose elements are the real numbers, with signature consisting of the individual constant 0 to name the number zero, a 1-ary function symbol - for minus, and two 2-ary function symbols + and . for plus and times. At first sight we can't add a symbol to express 1/x, since all the named functions have to be defined on the whole domain of the structure, and there is no such real number as 1/0. But on second thoughts this is not a serious problem; any competent mathematician puts the condition ‘x is not zero’ before dividing by x, and so it never matters what the value of 1/0 is, and we can harmlessly take it to be 42. But most model theorists are uncomfortable with any kind of division by zero, so they stick with plus, times and minus.
I am still not quite sure what a first order model theory is but I had a good laugh.
Found in the comments on a reddit thread that asks the question 'If the the Flying Spaghetti Monster didn't create life then why does DNA look like noodles?'
quote:Our Pasta, who art in colander, draining be your noodles. Thy noodle come, thy sauce be yum, on top some grated parmesan.
Give us this day our garlic bread, and forgive us our trespasses, As we forgive those who eat string cheese like a candy bar.
Lead us not into veganism, but deliver us some pizza, For thine is the meatball, the noodle and the sauce, forever and ever.
™ Version 4.2
(1)
