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

error in file:   /usr/lib/perl5/5.6.0/Carp/Heavy.pm
 
line 79:  Bizarre copy of CODE in aassign
context:  
... 
75:  # them according to the format variables defined earlier in
76:  # this file and join them onto the $sub sub-routine string
77:  if ($hargs) {
78:  # we may trash some of the args so we take a copy
79:  @a = @DB::args; # must get local copy of args
80:  # don't print any more than $MaxArgNums
81:  if ($MaxArgNums and @a > $MaxArgNums) {
82:  # cap the length of $#a and set the last element to '...'
83:  $#a = $MaxArgNums;
... 
component stack:   /library/branch.html
/library/dhandler
code stack:   /usr/lib/perl5/5.6.0/Carp/Heavy.pm:79

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

raw_error





























raw error:
 






























error while executing /library/branch.html:
Bizarre copy of CODE in aassign at /usr/lib/perl5/5.6.0/Carp/Heavy.pm line 79.