Modele canonice și Carlson în logica modală a lui Saul Kripke
| |

Modele canonice Pentru orice logică modală normală L, poate fi construit un model Kripke (numit model canonic), care validează exact teoremele L, printr-o adaptare a tehnicii standard de a folosi seturi consistente maximale ca modele. Modelele Canonice Kripke joacă un … Citeşte mai mult

Fise de două tipuri diferite
| |

Iată un puzzle nou cu mutare de fise sau monede de două tipuri diferite, pe cale le notăm cu tipul A și tipul B. La prima vedere, această problemă pare a fi extrem de simplă, dar vă va pune în … Citeşte mai mult

Modele de testare a relativității generale cu sateliți LAGEOS
| |

Există un mare interes în testarea consecințelor experimentale ale relativității generale, având în vedere numeroasele provocări ale teoriei. Teoriile alternative, concepute pentru a rezolva cel puțin parțial unele dintre aceste probleme, au consecințe testabile în condițiile slab dezvoltate și în … Citeşte mai mult

Dualism fără interacțiune (Paralelism psihofizic)
| |

În filosofia minții, paralelismul psihofizic (sau pur și simplu paralelismul) este teoria că evenimentele mentale și corporale sunt perfect coordonate, fără nici o interacțiune cauzală între ele. Ca atare, el afirmă corelația evenimentelor mentale și corporale (deoarece acceptă că atunci … Citeşte mai mult

Teste gravitaționale în câmp puternic
| |

Când densitatea corpului devine suficient de mare, relativitatea generală prezice formarea unei găuri negre. Stelele neutronice de circa 1,4 mase solare și găurile negre sunt starea finală pentru evoluția stelelor masive.[1] De obicei o gaură neagră într-o galaxie a jucat … Citeşte mai mult

Tapetul galben (5)
| |

Jumătate din timp acum sunt extrem de leneșă, și stau întinsă mult timp. John spune că nu trebuie să-mi pierd puterea, și mă face să iau ulei de ficat de pește și multe tonice și alte lucruri, ca să nu … Citeşte mai mult

Încercări de negare a încălzirii globale
| |

(Rezumat al opiniei oamenilor de știință privind schimbările climatice. ) Constatarea că clima s-a încălzit în ultimele decenii și că activitățile umane produc schimbări climatice globale a fost aprobată de toate academiile naționale de știință, care au emis declarații privind … Citeşte mai mult

Apocalipsa insectelor – Fluturii au dispărut deja din unele zone
| |

Un fenomen îngrijorător a fost observat de oamenii de știință: insectele vor dispare curând. Public Broadcasting Service (PBS) citează un studiu publicat în PLOS ONE conform căruia în 21 ani au dispărut deja 1/3 din fluturii din Ohio, SUA. La … Citeşte mai mult

Aspecte filosofice în analiza datelor mari (Big Data)
| |

Analiza datelor mari din punct de vedere etic implică două aspecte principale interdependente: unul teoretic, și anume descrierea filosofică a elementelor supuse controlului etic, și o viziune pragmatică a impactului asupra vieții oamenilor și organizațiilor. Impactul etic al computerelor este … Citeşte mai mult

Cele opt stele
| |

Problema în acest caz este de a plasa opt stele în diagramă astfel încât nici o stea să nu fie în linie cu o altă stea, orizontal, vertical sau în diagonală. O stea este deja plasată și nu trebuie mutată, … Citeşte mai mult

Teste clasice și moderne ale teoriilor relativiste ale gravitației
| |

Cu ajutorul formalismului PPN se confruntă teoriile gravitației cu rezultatele experimentelor din sistemul solar. Parametrul γ din acest formalism evidențiază deformarea luminii și întârzierea luminii. Prin calcule în conformitate cu PPN se obține deformarea luminii în raport cu liniile drepte … Citeşte mai mult

Domenii de studiu în cosmologia fizică
| |

Universul foarte timpuriu Universul timpuriu fierbinte pare să fie bine explicat de Big Bang de la aproximativ 10-33 secunde, dar există mai multe probleme. Una este că nu există niciun motiv convingător, folosind fizica particulelor actuale, ca universul să fie … Citeşte mai mult

1 2 3 4 5 531