Geerts WWW Hoekje
- Wiskunde
|
English |
|
Overzicht
|
... a good theory is like a good joke: It is short and the last line is quite unexpected.---H. L. Friedman
Ik heb een doctoraat geschreven over iets dat met formele logica te maken heeft.
Algemeen
- Eric Weisstein's World of Mathematics
- Planetmath, ``a free, collaborative, online mathematics encyclopedia. The stress is on peer review, rigour, openness, pedagogy, real-time content, interlinked content, and community-drivenness''.
Een
GNU FDL
alternatief voor Eric Weisstein's World, dat trouwens opgericht werd toen Eric Weisstein's World van het net verdween wegens copyright-problemen.
- Milennium Prize Problems
uitgeloofd door het Clay Mathematics Institute: 7 problemen, 7 miljoen dollar te winnen ...
- Math Forum @ Drexel University
- The Mathematical Atlas, ``A Gentle Introduction to the Mathematics Subject Classification Scheme''
- The Cornell Historic Math Book Collection
met honderden ingescande boeken
-
Wiskunde op Wikipedia, ook in het Nederlands
- Origami & math
- The Unreasonable Effectiveness of Mathematics
- Nieuw Archief voor Wiskunde
- The On-Line Encyclopedia of Integer Sequences
Bevat meer dan 80000 verschillende rijen
- Mathematical Functions
bevat nu meer dan 87000 formules
- Internet-based Distributed Computing Projects
- Mathematical Matters
een verzameling links
- On-line texts: dmoz
google
- Online Books and Lecture Notes in Mathematics
- Kolekcja matematyczno-fizyczna
Een verzameling on-line wiskundige tijdschriften (sommige gaan terug tot 1920!)
- Mathematical Writing
This booklet records the class on Mathematical Writing led by Don Knuth at Stanford in 1987.
- scirus
zoekmachine voor wetenschappelijke informatie
- Mathematical knowledge management is needed
Elk jaar worden er een goeie 300000 nieuwe wiskundige stellingen gepubliceerd; hoe beheren we die stortvloed?
-
Gebruikersvriendelijke interface voor het mathematics arXiv
- Doing Physics with Quaternions
Hopen info over kwaternionen.
- Abramowitz and Stegun: Handbook of Mathematical Functions
On-line (ingescande) versie van het beroemde boek.
- NUMDAM
Digitization of ancient mathematics documents
- BetterExplained.com
``Leer van binnen, niet van buiten'': intuïtieve bewijzen van de stelling van Pythagoras en dergelijke.
Legalia
- Mathematical copyright
Over de aspecten van copyright in wiskundige publicatie, in opdracht van het Committee on Electronic Information and Communication (CEIC) van de International Mathematical Union. Voor het ogenblik bevat het een checklist van 12 bladzijden over wat jij en je uitgever van elkaar kunnen verwachten, en hoe de wet kan helpen of hinderen.
- What Happened to MathWorld
over de legale perikelen tussen Eric Weisstein's MathWorld en CRC Press LLC
Logica
- A Century of Controversy over the Foundations of Mathematics
door Chaitin
- MetaMath!
on-line versie van een boek van Chaitin
-
Logica wereldwijd
- Rewriting Home Page
met o.a. een lijst van programma's
- OpenCyc.org,
een open source versie van het artificieel intelligente programma Cyc
- OpenCog,
een platform voor artificieel intelligente programma's
- Mizar,
een systeem om wiskunde te formaliseren. Er zijn al meer dan 2000 definities en 30000 stellingen aanwezig, die ook in het
Journal of Formalized Mathematics
gepubliceerd worden.
-
Logica en Grondslagen > Computationele Logica > Logische Frameworks
op de Google web directory
- Stanford Encyclopedia of Philosophy
- When is a proof?
Wanneer kunnen we een bewijs vertrouwen? Denk aan lange, complexe, technische bewijzen
zoals die van de laatste stelling van Fermat, de Poincaré conjectuur, of de tweelingpriemen conjectuur.
Kunnen we computers gebruiken/vertrouwen om ons te helpen?
- Hilbert II
The goal of this project is the creation of a system that enables a working mathematician to put theorems and proofs (in a formal language) into it.
- Formalized Mathematics
John Harrison over de mogelijkheid en wenselijkheid van een formalisatie van de wiskunde
- A=B
(on-line boek)
"A=B" is about identities in general, and hypergeometric identities in particular, with emphasis on computer methods of discovery and proof. The book describes a number of algorithms for doing these tasks
- Foundations of Mathematics
- Computer-supported Modeling and Reasoning, An Interactive Course in Isabelle 2004
on-line cursus met 1200 slides, 54 oefeningen
Tenslotte nog een citaat van
Donald Knuth:
``Beware of bugs in the above code; I have only proved it correct, not tried it.''
Numerieke analyse
Elementaire wiskunde
Programma's
Groepentheorie
Beroemde problemen
Wedstrijden, puzzels
Nieuws
- Ars mathematica
Wiskunde-blog.
This site is dedicated to the mathematical arts: mathematics itself, and its many children. Mathematics, even the most abstruse, is now pervasive throughout physics, computer science, economics, and other fields. We explore these topics, in lieu of doing our jobs or conversing with our loved ones.
- MathForge
Mathforge attempts to be a central point on the web by which general points of interest concerning the broad field of mathematics may be found. A goal of Mathforge is to bridge the gap from the knowledgeable to the merely-interested.
Toepassingen
Varia
- Ponder This:
Elke maand een vraagstuk bij IBM
- PI the movie
- Turing's Treatise on Enigma
A document written by the late Dr. Alan Turing while working as a cryptanalyst at Bletchley Park.
- Famous Unsolved Codes and Ciphers
- A complement to \smash, \llap, and lap
Overzicht van LaTeX layout commando's
- Proofs in Mathematics
Eenvoudige bewijzen, mooie bewijzen, foute bewijzen, ...
- Olde English Comedy starring e and pi
- Mr E's Kidcast - Aflevering 8 - Fractals
Elementaire inleiding over fractalen (dus geen formules maar veel filmpjes)
- Chaos
Meer van hetzelfde: geen formules en veel filmpjes over het vlinder-effect
- Ten Lessons I Wish I Had Been Taught
over lesgeven, bordtechnieken, publiceren, wiskundige fouten, de Feynman-methode over hoe een genie te zijn, bedankingen, inleidingen en de oude dag
|
English |
|
Overzicht
|
