Bilgisayar bilimi, bilgisayarların tasarımı ve kullanımı için temel oluşturan teori, deney ve mühendislik çalışmasıdır. Hesaplamaya ve uygulamalarına bilimsel ve pratik bir yaklaşımdır. Bilgisayar bilimi; edinim, temsil, işleme, depolama, iletişim ve erişimin altında yatan yönteme dayalı prosedürlerin veya algoritmaların fizibilitesi, yapısı, ifadesi ve mekanizasyonunun sistematik çalışmasıdır. Bilgisayar biliminin alternatif, daha özlü tanımı "büyük, orta veya küçük ölçekli algoritmik işlemleri otomatikleştirme çalışması" olarak nitelendirilebilir. Bir bilgisayar bilimcisi, hesaplama teorisi ve hesaplama sistemlerinin tasarımı konusunda uzmanlaşmıştır.
Epistemoloji ya da bilgi felsefesi, bilgiyle ilgilenen bir felsefe dalıdır. Epistemologlar, bilginin doğası, kaynağı ve kapsamı, epistemolojik gerekçelendirme, inancın rasyonelliğini ve diğer çeşitli konuları incelemektedir. Epistemoloji, felsefenin etik, mantık ve metafizikle birlikte dört ana dalından biri olarak kabul edilir.
Alan Mathison Turing, İngiliz matematikçi, bilgisayar bilimcisi ve kriptolog. Bilgisayar biliminin kurucusu sayılır. Geliştirmiş olduğu Turing testi ile makinelerin ve bilgisayarların düşünme yetisine sahip olup olamayacakları konusunda bir kriter öne sürmüştür.
Pierre Gassendi, Fransız filozof, astronom matematikçi ve Katolik rahipti. Güneydoğu Fransa'daki bir kilisede görev yaparken, Paris'te de uzun süreler geçirdi ve burada özgür düşünceli entelektüellerden oluşan bir grubun lideri olarak öne çıktı. Aynı zamanda gözlemsel bir bilim insanıydı ve 1631'de Merkür gezegeninin Güneş'in önünden geçişine dair ilk gözlemlerini yayımladı. Bir Ay krateri olan Gassendi krateri onun adını almıştır.
Willard Van Orman Quine, analitik felsefe geleneğinden Amerikalı filozof ve mantıkçı. "Yirminci yüzyılın en etkili filozoflarından biri" sayılır. 1930'dan 70 yıl sonraki ölümüne kadar Quine sürekli olarak Harvard Üniversitesi ile öyle ya da böyle yakından ilgiliydi, önce bir öğrenci; sonra da bir profesör olarak. 1956-78 yıllarında Harvard Edgar Pierce Felsefe Kürsüsünde ders verdi.
Alonzo Church, matematiksel mantığa ve teorik bilgisayar biliminin temellerine büyük katkılarda bulunan Amerikalı bir matematikçi ve mantıkçıydı. En çok, Entscheidungsproblem, Frege-Church ontolojisi ve Church-Rosser teoreminin çözülemezliğini kanıtlayan lambda kalkülüs, Church-Turing tezi ile tanınır. Ayrıca dil felsefesi üzerinde çalıştı.
Felsefe veya düşünbilim; varlık, bilgi, değerler, gerçek, doğruluk, zihin ve dil gibi konularla ilgili soyut, genel ve temel problemlere ilişkin yapılan sistematik çalışmalardır. Felsefe ile uğraşan kişilere filozof denir.
Teorik bilişim biliminde ve matematikte hesaplanabilirlik teorisi, belirli bir hesap modeline ait soruların uygun bir komut silsilesi ile ne kadar verimli bir şekilde çözülebileceğiyle ilgilenen daldır. Alan, üç yan ana dala ayrılmaktatır. Otomat teorisi ve dil, hesaplanabilirlik kuramı ve hesapsal karmaşıklık kuramı ki bunlar şu soru ile birbirine bağlanır:'Bilgisayarların temel kabiliyetleri ve sınırlamaları nelerdir?'
Felsefede, fizikalizm ya da fizikselcilik, var olan her şeyin maddesel olduğunu, fiziksel olanın üzerinde bir şey olmadığını ya da her şeyin fiziksel olanlardan meydana geldiğini savunan metafizik tezidir. Fizikselcilik, bir çeşit ontolojik monizmdir; yani düalizmin ve plüralizmin aksine gerçekliğin tek bir tözü olduğunu savunur. Fizikselin tanımı ve fizikselciliğin anlamı konusunda farklı görüşler vardır.
Stanford Encyclopedia of Philosophy (SEP), çevrimiçi bir felsefe ansiklopedisini, İnternet kullanıcıları tarafından ücretsiz olarak erişilebilen felsefe alanındaki orijinal makalelerin hakemli yayınlarıyla birleştirir. Stanford Üniversitesi tarafından sürdürülmektedir. Her giriş, dünya çapındaki birçok akademik kurumdan profesörler de dahil olmak üzere bu alandaki bir uzman tarafından yazılır ve geliştirilir. Ansiklopediye katkıda bulunan yazarlar, Stanford Üniversitesi'ne makaleleri yayınlama izni verir, ancak bu makalelerin telif hakkını saklı tutar.
Kimya felsefesi, kimya biliminin temelindeki varsayımları ve metodolojiyi inceler. Kimya felsefesi, filozoflar, kimyagerler ve filozof kimyacılar tarafından araştırılmıştır. Tarihin büyük bölümünde bilim felsefesi büyük oranda fizik felsefesinden oluşmaktaydı fakat kimya kaynaklı felsefi sorular 20. yüzyılın ikinci yarısından itibaren artan düzeyde ilgi görmüştür.
Psikiyatri felsefesi, psikiyatri ve ruhsal bozukluk ile ilgili felsefi soruları araştırır. Bilim ve tıp filozofu Dominic Murphy, psikiyatri felsefesinde üç araştırma alanını şu şekilde tanımlar: Birincisi, bilim felsefesinin araçlarını daha geniş bir şekilde kullanarak psikiyatrinin bir bilim olarak incelenmesiyle ilgilidir, ikincisi akıl hastalığı deneyimi de dahil olmak üzere akıl hastalığı tartışmasında kullanılan kavramların ve ortaya çıkardığı etik soruların incelenmesini gerektirir, üçüncüsü zihin felsefesi ile psikopatoloji arasındaki bağlantılar ve süreksizliklerle ilgilidir.
Felsefi çalışmaların gelişmesi sürecinde on dokuzuncu yüzyılda sembolik mantık ile yürüyen mantık, yirminci yüzyılda matematiksel mantıkla devam ederken, geleneksel olarak basit mantığın ötesine geçiyorsa, mantığın bir parçası olarak değil de felsefi mantık veya mantık felsefesi olarak değerlendirildi.
Algı felsefesi, algısal deneyimin doğası ve algısal verilerin durumuyla, özellikle de dünya hakkındaki inançlar veya dünya hakkındaki bilgilerle nasıl ilişkili olduklarıyla ilgilidir. Herhangi bir açık algı açıklaması, çeşitli ontolojik veya metafizik görüşlerden birine bağlılığı gerektirir. Filozoflar, nesnelerin algılarının ve bunlarla ilgili bilgi veya inançların bireyin zihninin yönleri olduğunu varsayan içselci açıklamaları ve bunların bireyin dışındaki dünyanın gerçek yönlerini oluşturduklarını belirten dışsalcı açıklamaları birbirinden ayırır. Son zamanlardaki felsefi çalışmalar, tek görme paradigmasının ötesine geçerek algının felsefi özelliklerini genişletmiştir.
Enformasyon felsefesi ya da Bilgi felsefesi, bilgi işleme, temsil sistemi ve bilinç, bilgisayar bilimi, bilgi bilimi ve bilgi teknolojisi ile ilgili konuları inceleyen bir felsefe dalıdır.
Yapay zeka felsefesi, yapay zekayı ve yapay zekanın, etik, bilinç, epistemoloji ve özgür irade bilgi ve anlayışı üzerindeki etkilerini araştıran teknoloji felsefesinin bir dalıdır. Ayrıca teknoloji, yapay hayvanların veya yapay insanların yaratılmasıyla ilgilidir, bu nedenle disiplin, filozoflar için oldukça ilgi çekicidir. Bu faktörler yapay zeka felsefesinin ortaya çıkmasına katkıda bulunmuştur. Bazı akademisyenler, AI topluluğunun felsefeyi reddetmesinin zararlı olduğunu savunur.
Hristiyan felsefesi, MS 2. yüzyıldan günümüze kadar Hristiyanlar tarafından ortaya konulan ve tartışılan felsefî fikirlerdir.
Stathis Psillos, bir Yunan bilim filozofudur. Yunanistan'ın Atina Üniversitesi'nde Bilim Felsefesi ve Metafizik Profesörüdür. Batı Ontario Üniversitesi Rotman Felsefe Enstitüsü üyesidir. 2013-15'te Kanada'da bulunan Batı Ontario Üniversitesi'nde Rotman, Kanada Bilim Felsefesi Araştırma Kürsüsü'nü yürütmüştür.
Larry Laudan, Amerikalı bir bilim filozofu ve epistemologdur. Pozitivizm, realizm ve rölativizm geleneklerini şiddetle eleştirdi ve popüler meydan okumalara karşı ayrıcalıklı ve ilerici bir kurum olarak bilim görüşünü savundu. Laudan'ın "araştırma gelenekleri"ne ilişkin felsefi görüşü, Imre Lakatos'un "araştırma programlarına" önemli bir alternatif olarak görülüyor.
Bastiaan Cornelis van Fraassen, bilim felsefesi, epistemoloji ve biçimsel mantığa katkılarından dolayı tanınan Hollandalı-Amerikalı bir filozoftur. San Francisco Eyalet Üniversitesi'nde Seçkin bir Felsefe Profesörü ve Princeton Üniversitesi'nde McCosh Fahri Felsefe Profesörüdür.
– ResearchGate vasıtasıyla.