Leiter Reports: A Philosophy Blog: Grad Student Questions about Publishing
5 days ago
The advice in this thread is just the usual guff, but the comment about the Transylvanian Journal of Vampire Philosophy is absolutely hysterical.
philosophy
academia
phd
humour
5 days ago
Extralogical: Reverse mathematics, constructivism and justification
5 days ago
Briefly sketched a parallel between the argument in my Lund talk and traditional reverse maths and constructivism.
from twitter
5 days ago
Untitled (http://extralogical.net/files/comprm-slides.pdf)
9 days ago
The slides from my talk at the Philosophy and Computation workshop in Lund last Sunday are now available.
from twitter
9 days ago
David Z. Albert, NYT: ‘A Universe From Nothing,’ by Lawrence M. Krauss
27 days ago
Devastating review from the always-excellent Albert.
physics
philosophyofphysics
quantummechanics
27 days ago
How does adding the full second order induction scheme affect the consistency strength of subsystems of second order arithmetic? | MSE
29 days ago
Does adding full induction affect the consistency strength of subsystems of second order arithmetic?
reversemathematics
prooftheory
arithmetic
logic
29 days ago
PLoS ONE: The Syntax and Meaning of Wild Gibbon Songs
5 weeks ago
Abstract: "Spoken language is a result of the human capacity to assemble simple vocal units into more complex utterances, the basic carriers of semantic information. Not much is known about the evolutionary origins of this behaviour. The vocal abilities of non-human primates are relatively unimpressive in comparison, with gibbon songs being a rare exception. These apes assemble a repertoire of call notes into elaborate songs, which function to repel conspecific intruders, advertise pair bonds, and attract mates. We conducted a series of field experiments with white-handed gibbons at Khao Yai National Park, Thailand, which showed that this ape species uses songs also to protect themselves against predation. We compared the acoustic structure of predatory-induced songs with regular songs that were given as part of their daily routine. Predator-induced songs were identical to normal songs in the call note repertoire, but we found consistent differences in how the notes were assembled into songs. The responses of out-of-sight receivers demonstrated that these syntactic differences were meaningful to conspecifics. Our study provides the first evidence of referential signalling in a free-ranging ape species, based on a communication system that utilises combinatorial rules."
biology
gibbons
primates
language
5 weeks ago
logic - Is Foundational Research a Dead Field? - Mathematics - Stack Exchange
6 weeks ago
Is foundational research a dead field? My answer on MSE is community wiki, so please help improve it.
from twitter
6 weeks ago
How does Cantor's diagonal argument work?
6 weeks ago
Nice answer by Arturo Magidin.
settheory
cantor
infinity
6 weeks ago
Funny mashup of Hilbert's Hotel and Cantor's theorem
6 weeks ago
Involves bus drivers diagonalising.
infinity
settheory
cantor
hilbert
humour
6 weeks ago
Hadley Freeman, The Guardian: The Mail simply threw Samantha Brick to the wolves
7 weeks ago
"The Daily Mail uses its female writers in precisely the same way it uses its female readers and celebrities: frequently, centrally and, always, cruelly. Like an abusive husband, the Daily Mail courts women and needs women, but will always turn around and punch them in the face. Because the Daily Mail hates women." Spot on.
women
journalism
society
7 weeks ago
The slow explosion of speech | TLS
7 weeks ago
Review of James R. Hurford’s The Origins of Grammar.
book
language
history
grammar
linguistics
7 weeks ago
Untitled (http://www.fil.lu.se/conferences/conference.asp?id=51)
7 weeks ago
Giving a talk in May at Philosophy and Computation in Lund, about Shore's computational reverse mathematics.
from twitter
7 weeks ago
academia
advice
agda
ai
algebra
algorithms
america
analysis
animation
apache
api
apple
architecture
arithmetic
art
assembly
atom
axiomofchoice
backup
bash
benchmarking
biography
biology
book
books
brazil
browsers
business
c
cabal
caching
cantor
categorytheory
censorship
chemex
climate
closures
clothing
code
coffee
combinatorics
compilers
complexity
compsci
computability
computing
concurrency
conference
continuations
cookies
cooking
creditcrisis
css
csstransforms
culture
currying
database
datastructures
debugging
dependencyhell
deployment
design
dfw
documentation
economics
education
emacs
email
encoding
encryption
engineering
english
fashion
fiction
film
finance
food
football
foundations
functionalprogramming
games
geometry
ghc
git
github
google
grammar
grauniad
gyuto
gödel
hacking
hardware
hashing
haskell
health
history
homebrew
homepages
howto
html
html5
http
humour
ideas
identity
incompleteness
infinity
install
interface
internet
interpreter
iphone
irc
italy
iteratees
java
javascript
journals
json
jwz
knives
lambdacalculus
language
largecardinals
law
learning
library
linguistics
linux
lisp
literature
logic
logicprogramming
london
losangeles
mac
mathematics
memory
metamathematics
metaphysics
microsoft
ml
modeltheory
modernism
monads
music
mysql
networking
neuralnets
neuroscience
nginx
nodejs
notation
nyc
obituary
oop
openaccess
opensource
optimisation
ordertheory
ordinalnotation
ordinals
osx
parallelism
parkas
parsing
passwords
pastie
performance
phd
philosophy
philosophyofmaths
philosophyofscience
php
physics
pinboard
pkd
plagiarism
plt
plugin
politics
primes
privacy
probability
process
productivity
programming
prolog
prooftheory
psychology
publishing
python
rails
reference
regex
research
reversemathematics
ruby
safari
scheme
science
scientificmisconduct
screen
security
sep
server
settheory
sf
sharpening
sicp
snap
society
sociology
software
speakers
sql
ssh
startups
statistics
stevejobs
svn
sysadmin
tarski
technology
testing
tex
textmate
theory
tools
topology
toread
travel
truth
tty
turing
typeclasses
typesystems
typetheory
typography
ubuntu
university
unix
usa
usability
varnish
vlad
war
warfare
web
webkit
webstandards
windows
wireless
wordpress
work
workflow
writing