|
Calculator of Elementary
Statistics |
Find the confidence interval for the mean of a
sample; find the probability that an element belongs to a normal
population from which we have a sample; do these for a binomial
distribution (for proportions); test two means. |
|
A Theorem Prover
for First-Order Logic |
An automated theorem prover
for 1st-order logic (predicate calculus) that accepts types in the
syntax of its language and has other interesting features. |
|
Game of Life
and other Cellular Automata |
Conway’s “Game of Life” and other cellular
automata are presented through a Java applet that performs
auto-detection of recurring patterns. |
|
Geomorphs |
A sequel to
“biomorphs” (a program designed by R. Dawkins). See
animated 3D surfaces as they “evolve” in a space
defined by a “mathematical DNA”. |
|
Standard Animated Surfaces |
A brief tour
of some surfaces which sometimes appear in math
textbooks, and the way they depend on their parameters. |
|
What
Does a 4-Dimensional Sphere Look Like? |
Did you know that a
four-dimensional sphere can be drawn on a web page? This
4D-sphere actually complies with the relativistic
geometry of our universe. |
|
Wolfram’s
Principle of Computational Equivalence: is it right? |
Stephen Wolfram announced a
so-called “Principle of Computational Equivalence”
(PCE) in his hefty book “A New Kind of Science”. Is
his PCE right? Read this page to see what’s wrong with
it. |
|
Κομπιουτεράκι
Στοιχειωδών Στατιστικών Ελέγχων |
Διαστήματα εμπιστοσύνης για τη
μέση τιμή δείγματος· πιθανότητα να ανήκει ένα
στοιχείο σε πληθυσμό κανονικής κατανομής από τον οποίο έχουμε δείγμα· το
αυτό για διωνυμική κατανομή (για αναλογίες)·
έλεγχος δύο μέσων τιμών. |
|
Αποδείκτης Θεωρημάτων
για Πρωτοβάθμια Λογική
(μόνο στα αγγλικά) |
Ένα
πρόγραμμα που κάνει αυτόματη απόδειξη θεωρημάτων σε πρωτοβάθμια λογική
(κατηγορηματικό λογισμό) που δέχεται τύπους στο συντακτικό της
γλώσσας-του και έχει άλλα ενδιαφέροντα στοιχεία. |
|
Το
Παιχνίδι της Ζωής
και άλλα Κυτταρικά Αυτόματα
(μονο στα αγγλικά) |
Το “Παιχνίδι
της Ζωής” του μαθηματικού Conway
και άλλα κυτταρικά αυτόματα παρουσιάζονται εδώ μέσω μιας μικροεφαρμογής
Java που ανακαλύπτει από μόνη-της
επαναλαμβανόμενα μοτίβα. |
|
Γεωμορφές
(μόνο στα αγγλικά) |
Μια
συνέχεια των “βιομορφών” (ένα
πρόγραμμα του R. Dawkins). Δείτε
κινούμενες τρισδιάστατες
επιφάνειες καθώς “εξελίσσονται”
σ’ ένα χώρο που ορίζεται από
ένα “μαθηματικό DNA”. |
|
Τυπικές Κινούμενες
Επιφάνειες
(μόνο στα αγγλικά) |
Μια
σύντομη ματιά σε κάποιες
επιφάνειες που μερικές φορές
εμφανίζονται σε βιβλία
μαθηματικών, και στον τρόπο με
τον οποίο εξαρτώνται από τις
παραμέτρους-τους. |
|
Με
τί μοιάζει μια τετραδιάστατη
σφαίρα;
(μόνο στα αγγλικά) |
Το ξέρετε οτι μια
τετραδιάστατη σφαίρα μπορεί να
ζωγραφιστεί σε μια ιστοσελίδα;
Αυτή η 4D-σφαίρα μάλιστα είναι
συμβατή με τη σχετικιστική
γεωμετρία του σύμπαντός μας. |
|
Η Αρχή
της Υπολογιστικής Ισοδυναμίας
του Wolfram: Στέκει;
(μόνο στα αγγλικά) |
Ο Stephen Wolfram
ανακοίνωσε μια λεγόμενη “Αρχή
της Υπολογιστικής Ισοδυναμίας”
(ΑΥΙ) στο ογκώδες βιβλίο-του “Ένα
Νέο Είδος Επιστήμης” (“A New Kind of
Science”). Είναι σωστή η ΑΥΙ-του;
Διαβάστε αυτό το άρθρο για να
δείτε τί πάει στραβά με δαύτην. |
|
Μεγάλοι
αριθμοί |
Ώστε
νομίζετε πως μπορείτε να
μετράτε μέχρι το άπειρο, ε; Νομίζετε!
Γιά διαβάστε κι αυτό, για να
δείτε πόσο κάλπικο είναι το
νόμισμά σας! |