Secondbrain™

Login/Register

Login
Sign up
Contact us
Help

Secondbrain
Explore
People

Search

Find people

Search options

Search everybody's libraries
Find people

Organize and discover online content. Sign up or log in

First time here? Learn more

open

close

Updates
Library
Collections
Network

User information

trax76

Log in or register to follow trax76

Subscribe by rss

search trax76's library

Tags

Tags

Search tags

AI algorithms book ComputerScience cs education functional haskell history information javascript languages lisp Live logic math mathematics music philosophy Physics programming reference research science software technology the tools video web2.0
Collections
- Public (701)
- Favorites (0)
trax76 has no collections yet.

Invite your friends and win prizes.

trax76 follows 1 person

4 people follow trax76

Ceci n'est pas un bug. This is my old account. Follow me on lars.secondbrain.com.
Khurt's PhotoBooth Image
TASan FL Studio, summer, sun and beatboxing. Life. Born: November 19, 1991, 7:52am Dead: Oktober 3, 2015 (Suicide. Will feel pain.) Interests: Beatboxing M

Tag trail

computing [X]
logic [X]

Drill further down:

programming (3)
mathematics (3)
Algorithms (2)
turing (2)
ebook (2)
cs (2)
theory (2)
philosophy (2)
languages (2)
semantics (2)
science (2)
mind (1)
os (1)
cognition (1)
meta-programming (1)
writings (1)
philosophy_of_mind (1)
philosophy_of_programming (1)
AI (1)
philosophy_of_information (1)
coding (1)
geek (1)
halting (1)
functional (1)
future (1)
haskell (1)
article (1)
articles (1)
information (1)
lambda-calculus (1)

Content list

Content:

select all / clear

Audio only

Bookmarks only

Documents only

Files only

Images only

Mindmaps only

Posts only

Presentations only

Spreadsheet only

Videos only

Updating...

Sort by:

Date
Title

Delicious The Essential Turing: Seminal ... - Google Book S…

(more)

(less)

Tags:

Computing
ebook
Logic
Philosophy
Turing

... (more)

Tags:

Computing
Logic
Philosophy
Turing
ebook
mathematics
writings

Public

(less)

Posted juni 13 2008 | Comment

The Essential Turing: Seminal ... - Google Book Search

Delicious Semantics with Applications

(more)

(less)

Tags:

computing
cs
logic
programming
semantics

... (more)

Tags:

semantics
logic
cs
programming
computing
ebook

Public

(less)

Posted juni 09 2008 | Comment

Semantics with Applications

Delicious This FTP site

(more)

(less)

Tags:

algorithms
articles
coding
computing
cs

... (more)

Tags:

algorithms
articles
coding
computing
cs
functional
geek
haskell
lambda-calculus
languages
lisp
logic
mathematics
meta-programming
os
programming
reference
scheme
theory

Public

(less)

Posted mars 31 2008 | Comment

Delicious Machine-Human. happy droids, sad robots and [d…

(more)

(less)

Tags:

AI
philosophy
philosophy_of_information
philosophy_of_mind
philosophy_of_programming

... (more)

Tags:

AI
philosophy
philosophy_of_information
philosophy_of_programming
philosophy_of_mind
physics
mathematics
mind
logic
semantics
future
science
cognition
computing
information
languages

Public

(less)

Posted januar 13 2008 | Comment

Machine-Human. happy droids, sad robots and [dys]functional zombies

Delicious The Craig Web Experience: Understanding the Haltin…

(more)

(less)

Tags:

Algorithms
computing
logic
programming
science

... (more)

Tags:

Algorithms
computing
logic
science
programming
turing
theory
halting
problem
article

Public

(less)

Posted januar 06 2008 | Comment

The Craig Web Experience: Understanding the Halting Problem

Using Secondbrain

Sign up
Why you will love Secondbrain
How to use Secondbrain
Available services

About Secondbrain

About Secondbrain
Secondbrain blog
Privacy
Terms of use
Contact us

Site links

Report abuse
Feedback
Support
FAQ
Login

Copyright © 2008 Secondbrain AS. All right reserved. All logos, trademarks, etc. are property of their respectful owners.

Preview by Thumbshots.com0.5.8.36117