Drexel dragonThe Math ForumDonate to the Math Forum

The Math Forum Internet Mathematics Library

Browse and Search the Library
Home : Math Topics : Logic/Foundations

_____________________________________
Library Home || Search || Full Table of Contents || Suggest a Link || Library Help
_____________________________________


  Subcategories   (see also All Sites in this category)
 
  Selected Sites   (see also All Sites in this category)

  1. Logic and Set Theory around the World - Sylvain Poirier
    Research groups and departments in the foundations of mathematics and computer science (logic, set theory, model theory, theoretical computer science, proof theory, programming languages). Browse the listing by geographic region. See also Poirier's index of organizations, publications, blogs, mailing lists, software, and more. more>>

  2. LO Logic (Front for the Mathematics ArXiv) - Univ. of California, Davis
    Logic preprints, from the U.C. Davis front end for the xxx.lanl.gov e-Print archive, a major site for mathematics preprints that has incorporated many formerly independent specialist archives. Search by keyword or browse by topic. more>>

  3. Mathematical Logic and Foundations - Dave Rusin; The Mathematical Atlas
    A short article designed to provide an introduction to mathematical deduction. The subject has origins in philosophy, and indeed it is only by nonmathematical argument that one can show the usual rules for inference and deduction (law of excluded middle; cut rule; etc.) are valid. It is also a legacy from philosphy that we can distinguish semantic reasoning ("what is true?") from syntactic reasoning ("what can be shown?"). The first leads to Model Theory, the second, to Proof Theory. History; applications and related fields and subfields; textbooks, reference works, and tutorials; software and tables; other web sites with this focus. more>>

  4. Set Theory and Foundations (MathPages) - Kevin Brown
    About 30 "informal notes" by Kevin Brown on set theory and foundations: what is fuzzy logic, fractal logic, Cantor's diagonal proof, are all triangles isosceles?, on Gauss's mountains, problems with the luminiferous aether, and many more. more>>


 

Mason error

 
component stack:   /library/branch.html
/library/dhandler
code stack:   /var/lib/mason/obj/library/branch.html:208
/usr/lib/perl5/site_perl/5.6.0/HTML/Mason/Commands.pm:70
/var/lib/mason/obj/library/dhandler:90

debug info:   Debug file is '/var/lib/mason/debug/anon/5'.

raw_error





























raw error:
 






























error while executing /library/branch.html:
Server message number=1105 severity=17 state=1 line=1 text=Can't allocate space for object 'keystorage' in database 'catalog' because 'default' segment is full/has no free extents. If you ran out of space in syslogs, dump the transaction log. Otherwise, use ALTER DATABASE or sp_extendsegment to increase size of the segment.
Statement=INSERT INTO keystorage ( keys ) VALUES ( '938;17325;8098;5591;62431;59283;17205;11234;12187;6791;62653;850;17278;17293;10691;7400;13061;17722;17322;5189;19837;60909;5135;6279;7718;66021;64021;3061;76440;10856;17261;75551;8182;18417;41877;72032;76728;7...
Server message number=7101 severity=17 state=1 line=1 text=Unable to allocate new text value, dbid 6.
Statement=INSERT INTO keystorage ( keys ) VALUES ( '938;17325;8098;5591;62431;59283;17205;11234;12187;6791;62653;850;17278;17293;10691;7400;13061;17722;17322;5189;19837;60909;5135;6279;7718;66021;64021;3061;76440;10856;17261;75551;8182;18417;41877;72032;76728;7...
HTML::Mason::Interp::__ANON__('Server message number=1105 severity=17 state=1 line=1 text=Can\'...') called at /usr/lib/perl5/site_perl/5.6.0/Forum/Key.pm line 284
Forum::Key::store(5602, 'r_dbh', 'Forum::Key=HASH(0x8e90c4c)') called at /var/lib/mason/obj/library/branch.html line 208
HTML::Mason::Commands::__ANON__('passed_args', 'HASH(0x8f1a9f0)', 'tree', 'topics', 'branch', 'logic') called at /usr/lib/perl5/site_perl/5.6.0/HTML/Mason/Component.pm line 131
HTML::Mason::Component::run('HTML::Mason::Component::FileBased=HASH(0x8f0ac3c)', 'passed_args', 'HASH(0x8f1a9f0)', 'tree', 'topics', 'branch', 'logic') called at /usr/lib/perl5/site_perl/5.6.0/HTML/Mason/Request.pm line 653
require 0 called at /usr/lib/perl5/site_perl/5.6.0/HTML/Mason/Request.pm line 653
HTML::Mason::Request::comp('HTML::Mason::Request::ApacheHandler=HASH(0x8dffe70)', '/library/branch.html', 'passed_args', 'HASH(0x8f1a9f0)', 'tree', 'topics', 'branch', 'logic') called at /usr/lib/perl5/site_perl/5.6.0/HTML/Mason/Commands.pm line 70
HTML::Mason::Commands::mc_comp('/library/branch.html', 'passed_args', 'HASH(0x8f1a9f0)', 'tree', 'topics', 'branch', 'logic') called at /var/lib/mason/obj/library/dhandler line 90
HTML::Mason::Commands::__ANON__('start_at', 1, 'num_to_see', 50, 'keyid', 38511509) called at /usr/lib/perl5/site_perl/5.6.0/HTML/Mason/Component.pm line 131
HTML::Mason::Component::run('HTML::Mason::Component::FileBased=HASH(0x8e378bc)', 'HTML::Mason::Component::FileBased=HASH(0x8e378bc)', 'start_at', 1, 'num_to_see', 50, 'keyid', 38511509) called at /usr/lib/perl5/site_perl/5.6.0/HTML/Mason/Request.pm line 653
require 0 called at /usr/lib/perl5/site_perl/5.6.0/HTML/Mason/Request.pm line 653
HTML::Mason::Request::comp('HTML::Mason::Request::ApacheHandler=HASH(0x8dffe70)', '', 'HTML::Mason::Request::ApacheHandler=HASH(0x8dffe70)', 'HASH(0x8e73f20)', 'HTML::Mason::Component::FileBased=HASH(0x8e378bc)', 'start_at', 1, 'num_to_see', ...) called at /usr/lib/perl5/site_perl/5.6.0/HTML/Mason/Request.pm line 159
require 0 called at /usr/lib/perl5/site_perl/5.6.0/HTML/Mason/Request.pm line 159
HTML::Mason::Request::exec('HTML::Mason::Request::ApacheHandler=HASH(0x8dffe70)', '/library/topics/logic', 'start_at', 1, 'num_to_see', 50, 'keyid', 38511509) called at /usr/lib/perl5/site_perl/5.6.0/HTML/Mason/ApacheHandler.pm line 914
HTML::Mason::ApacheHandler::handle_request_1('HTML::Mason::ApacheHandler=HASH(0x8de2afc)', 'Apache=SCALAR(0x8f13ce0)', 'HTML::Mason::Request::ApacheHandler=HASH(0x8dffe70)', 'HASH(0x8e74b6c)') called at /usr/lib/perl5/site_perl/5.6.0/HTML/Mason/ApacheHandler.pm line 560
require 0 called at /usr/lib/perl5/site_perl/5.6.0/HTML/Mason/ApacheHandler.pm line 560
HTML::Mason::ApacheHandler::handle_request('HTML::Mason::ApacheHandler=HASH(0x8de2afc)', 'Apache=SCALAR(0x8f13ce0)') called at /etc/httpd/conf/handler.pl line 97
HTML::Mason::handler('Apache=SCALAR(0x8f13ce0)') called at /dev/null line 0
require 0 called at /dev/null line 0