On The Margins

Saturday January 19, 2008

[ Mathematics ] How Many

How many non-standards models of Peano Arithmetics exist? (Hint: The Gödel construction gives you many models. One can also prove the existence of many such models using the fact that there are  many primes.)

2008-01-19 07:44:09.0 -- Comments [1] ; Permalink ; Trackback.
logic mathematics

Most Recent Entries

• 10 Patents
• DTrace Probes for Databases
• Who Dons the Java DB T-Shirt
• The Self-Ordering Chaos of Communities
• Connecting News Sources
• JavaOne 2008
• PG on Mac
• Lunch with Great Grandma
• Java DB 10.4.1
• Tolven Health PostgreSQL Benchmark
• Skype and Sun
• It Runs Your Company
• Community Dinner
• The Real News
• Open Source Databases on the Rise
• The Conference Around the Corner
• Experimenting with New Ink
• A Suggestion for Skype
• A Solution!
• Happy Persian New Year
• OSDB Events
• Systems: Exploration vs. Exploitation
• Microsoft and Open Source Software
• "Asset Specificity" and Open-Source Software
• Proud of my better half
• What is Open Source?
• Three Open Source Databases in Solaris SXDE 1/08
• SXDE 1/08 is Released!
• PostgreSQL 8.3 is Released
• Rotating Videos in the World of Images
• When Art Becomes Work
• Buying PostgreSQL support got easier
• Data History
• Next Generation Java Testing
• Dizin in December
• The Friendly Elephant and the Rising Elephine
• How Many
• James Gosling, Monty Widenius, David Axmark, and Brian Aker on Sun's Acquisition of MySQL
• Sun To Acquire MySQL
• Getting off LH601
• II کیبرد فارسی و مشکلاتی از این قبیل ! و .... بیشترش بعد II
• Pouring Tea
• Buying Bread in Tehran
• 3 days late
• The Lions' "Eyes"
• Taking the Tehran Metro
• Favorites
• Seamless on SunRay
• Cool -- Skiing in Iran
• Basics of PostgreSQL on Solaris
• Where was I?
• The Value of the Typewriter
• Blogging from Berkeley
• Last Day in Bangalore
• Wars' Cost
• Same Desktop Everywhere -- From the San Francisco Bay Area to Bangalore
• Acting Talent
• California Earthquake -- Alum Rock
• Moral Compass and Information
• Not Always Calling
• Occupational Hazards
• To Another Handset
• Where is this?
• Switching from MySQL to PostgreSQL
• Eid Fitr Mubarak
• The Radical vs. The Conservative
• Shoal Beyond Glassfish V2
• Another Mode
• From Sony P1i
• New Media: From Blog to Online Newspaper
• PostgreSQL @ Sun
• Live Webcast on Intel and Sun
• Science and Leibniz
• Zero Degree Turn -- Persian TV mini-Series
• Wirless Broadband Planning
• UK Bank Run or the Advantage of Reading Two Papers
• New Membership
• Hybrid Autos on Display in Frankfurt Motor Show
• "Core" Competence
• iPhone and the Midas Touch
• Diffusion of Financial Crisis among Economic Neighbors
• A Database for Nomadic Users
• Car Insurance and Game Theory
• Mobile Social Networks
• Lender of Last Resort
• UltraSPARC T2
• Sometimes, pictures ...
• Barry Bonds and the Ball
• Do Facts Exist?
• Aljazeera on the Net
• Asian Soccer -- Iraq beats Saudi Arabia
• Cooler than this?
• Underground Notes and Voices from OSCon and Ubuntu Live
• Hands Cutting Things
• FY'07 Financial Results
• Once
• Where I hope to be skiing this winter
• Markets and Standards
• International Physics Olympiad
• Internet Radio Gets a Bruise

On the Margins Tag Cloud