<body><script type="text/javascript"> function setAttributeOnload(object, attribute, val) { if(window.addEventListener) { window.addEventListener('load', function(){ object[attribute] = val; }, false); } else { window.attachEvent('onload', function(){ object[attribute] = val; }); } } </script> <div id="navbar-iframe-container"></div> <script type="text/javascript" src="https://apis.google.com/js/plusone.js"></script> <script type="text/javascript"> gapi.load("gapi.iframes:gapi.iframes.style.bubble", function() { if (gapi.iframes && gapi.iframes.getContext) { gapi.iframes.getContext().openChild({ url: 'https://www.blogger.com/navbar.g?targetBlogID\x3d9393200\x26blogName\x3dRecord+My+Mind:+Banal+Records+of+a+Pe...\x26publishMode\x3dPUBLISH_MODE_BLOGSPOT\x26navbarType\x3dSILVER\x26layoutType\x3dCLASSIC\x26searchRoot\x3dhttps://recordmymind.blogspot.com/search\x26blogLocale\x3den_GB\x26v\x3d2\x26homepageUrl\x3dhttp://recordmymind.blogspot.com/\x26vt\x3d3938675348355369792', where: document.getElementById("navbar-iframe-container"), id: "navbar-iframe" }); } }); </script>
Record My Mind: Banal Records of a Pedestrian Life

Suffering and evil overwhelm me and I stew in my own juice. 

Monday, February 02, 2004

2/02/2004 09:35:00 pm - Models of Theories

I have just read Section 2.6 (Models of Theories) of Enderton's book. I skipped the last two theorems in this section because it makes references to parts of mathematics that I do not understand, e.g. algebraically closed fields. According to my tutor (I managed to get a logician from the Mathematics Department at NUS to teach me mathematical logic for free!) YY, I can go on to Enderton's chapter on Undecidability ( This chapter contains the proofs of Godel's Incompleteness Theorems! Finally!) after I'm done with Section 2.6. Although the chapter on Undecidability will make reference to Section 2.7 (which I have not read), I should come back to it later since it is important to move on and get a sense of progress at this point in time. Yippee!

To do: Write about Skolem's paradox and the limitations of first order logic.

Random gripe: Why do most logic textbooks have the word "elementary" or "introduction" in them when clearly there is nothing elementary (in the sense of simple) about the subject matter the author is introducing in his book? One would also expect "introduction" books to be gentle primers, but not so for the logic books I've come across. Maybe this has to do with the nature of the beast called "mathematical logic".

Blogger chenlina said...

coach outlet
abercrombie and fitch
abercrombie outlet
cheap ray bans
ray ban outlet
cheap nfl jerseys
coach outlet
hogan outlet
louis vuitton outlet
red timberland boots
true religion sale
michael kors outlet online sale
michael kors outlet online
oakley sunglass
gucci handbags
michael kors handbags
hermes birkin
coach factory outlet
michael kors
christian louboutin outlet
coach outlet
michael kors uk
coach factory outlet
michael kors outlet online
mont blanc pens
true religion sale
jordan 8 bugs bunny
lululemon outlet
celine outlet
michael kors outlet
kevin durant basketball shoes
celine handbags
hollister clothing
ghd straighteners
louis vuitton handbags
hollister clothing
louis vuitton
mulberry uk

Blogger 750unique said...

mcm outlet online
oakley sunglasses wholesale
ray ban outlet
coach outlet store online
true religion jeans
kate spade outlet
pandora jewelry stores
kate spade
toms shoes for women
gucci outlet
oakley sunglasses outlet
burberry outlet online
true religion jeans outlet
kate spade outlet
gucci borse
burberry handbags
pandora jewelry outlet
ed hardy uk
pandora bracelets
longchamp pliage pas cher
michael kors
cheap jordans uk
hollister outlet
michael kors handbags
louis vuitton borse
mcm bags
chanel handbags
true religion sale
tory burch handbags
pandora charms
michael kors outlet

Post a Comment

© Boon 2005 - Powered for Blogger by Blogger Templates