Archives
For the Maths & Science category.The Hardest Logic Puzzle Ever
30 Dec 2011 | 2 Comments »
Category(s): Fun, Maths & Science
Tag(s): boolean algebra, boolean logic, counterfactuals, formal logic, john mccarthy, logic, logic puzzles, logical formula, logical paradox, markup language, material implication, math, mathematical logic, mathematics, natural language, paradox, paradoxes, proofs, propositional calculus, propositional formula, propositional logic, propositional variables, puzzles, raymond smullyan, sentential calculus, sentential logic, the hardest logic puzzle ever, traveller's paradox, XOR, zeroth order logic
Starting Tutoring
06 Oct 2011 | 1 Comment »
Category(s): Maths & Science, Personal
Tag(s): career, computing, electronics, english language, english literature, essex, graduation, information technology, IT, jobs, london, mathematics, maths, microsoft robotics developer studio, north london, PhD, physics, tutor, tutoring, university
Astronomy Picture of the Day on your Desktop
13 Mar 2011 | 2 Comments »
Category(s): Arts & Humanities, Fun, Maths & Science, Software
Tag(s): APOD, APOD wallpaper, astronomy, astronomy picture of the day, computer wallpapers, cosmos, desktop, desktop background, desktop pictures, desktop wallpaper, galaxies, moon, NASA, outer space, planets, solar system, space, stars, universe, windows, windows desktop
KD-Trees for .NET
01 Mar 2011 | 33 Comments »
Category(s): Maths & Science, Programming, Projects
Tag(s): .net, .net 4.0, algorithms, astronomy, binary trees, bsp trees, c#, c# 4.0, computational physics, data structures, generic arithmetic, hipparcos catalogue, kd trees, math.net, math.net numerics, nearest neighbour, octrees, physics, quadtrees, range search, space partitioning, star catalogues, stars, tree structures
Teaching a machine to read
23 Aug 2010 | No Comments »
Category(s): Maths & Science, Philosophy, Projects, Software
Tag(s): 2001: a space odyssey, ai, ambiguity, arthur c. clarke, artificial intelligence, computational linguistics, computer age, dictionary, english, english language, grammar, hal 9000, hidden markov model, holism, human languages, human speech, language, languages, learning, linguistics, lisp, machine learning, markov, markov chain, markov model, markov process, natural language, natural language processing, natural language understanding, neuropsychology, nlp, parse tree, psychology, reading, reductionism, semantics, sentences, shrdlu, space oddysey, space odyssey, speech, speech recognition, speech-to-text, stochastic natural language processing, stochastic nlp, strong ai, syntax, syntax tree, text-to-speech, vocabulary, words
Physics Community on Stack Exchange
20 Jul 2010 | No Comments »
Combinatorics in C#
22 May 2010 | 5 Comments »
Category(s): Maths & Science, Programming
Tag(s): .net, .net 4.0, .net framework, .net framework 4.0, algorithms, c#, c# 4.0, combinations, combinations with repetition, combinations without repetition, combinatorics, helper class, math, maths, mono, permutations, permutations with repetition, permutations without repetition, permute, space complexity, time complexity, utility class, utility methods
Rendering TeX Math in WPF
04 Apr 2010 | 19 Comments »
The Traveller’s Paradox
02 Mar 2010 | 6 Comments »
Category(s): Arts & Humanities, Fun, Maths & Science, Philosophy
Tag(s): boolean algebra, boolean logic, dilemmas, fairy tales, fantasy, first order logic, formal language, formal logic, formal system, formula, logic, logic puzzles, logical connectives, logical operators, logical paradox, math, mathematical logic, mathematics, metamathematics, paradox, paradoxes, predicate logic, proof, proof theory, propositional calculus, propositional formula, propositional logic, propositional variables, puzzles, sentential calculus, sentential logic, story, traveller's paradox, well-formed formula, zeroth order logic
Learning Formal Logic
23 Feb 2010 | 1 Comment »