Per formalizzazione intendo che è formulato matematicamente.
Il modello di Solow può essere formalizzato in vari modi, in tempo discreto e in tempo continuo. Quello a cui mi riferisco io è in tempo continuo e si trasforma in una equazione differenziale ordinaria, che mette in relazione la crescira del reddito con l'accumulazione di capitale. Viene detta 'equazione fondamentale della crescita' e ha una rappresentazione grafica in un grafico molto famoso.
Introducendo una specifica funzione di produzione, la Cobb Douglas, diventa una equazione di Bernoulli.
Poi c'è anche il lato empirico, ad esempio si può fare una regressione su dati della crescita in vari paesi.
E poi ci sono tante altre questioni, ad esempio relative al progresso tecnico, di politica economica etc.
Per vedere questo Acemoglu va bene, è un riferimento standard della teoria della crescita.
C'è anche il lato empirico.
In Weil lo trovi nel capitolo 3, 'Phisical capital' ma semplificato, in tempo discreto, non c'è equazione differenziale.
Ma è un capitolo molto utile per capire il lato economico, Acemoglu a prima lettura è troppo avanzato.
Se poi vuoi, potrò vedere qualche altro posto dove c'è il modello di Solow.
Al momento puoi guardare per avere un'idea su Wikipedia
https://it.wikipedia.org/wiki/Modello_di_Solow, l'equazione fondamentale è la (6), c'è anche il grafico.
Ci sono molte altre cose, la parte in fondo di critica del modello è insufficiente e molto tirata via, ma il modello base è quello. Anche se l'esposizione di Wikipedia è un po' datata.
Penso che il modello di Solow potresti farlo, ma secondo me richiede diverse conoscenze economiche e la cosa sarebbe un po' complicata, temo che ti porterebbe via troppo tempo. E poi nella tesina che mi hai indicato vedo che il modello di Malthus occupa poco spazio, il modello di Solow è troppo lungo. A meno di non prendere l'equazione di cui dicevo nuda e cruda, già fatta, senza spiegare come ci si arriva. E anche il grafico, che è carino. Si può fare.
Non ti so dire, non so bene cosa è richiesto e come ti troveresti a fare qual modello, non vorrei che ti prendesse troppo tempo.
Nash va bene, non è difficile, in economia l'applicazione più nota è all'oligopolio, si trova nei libri di microeconomia, se ti potrà interessare te ne indico qualcuno.
Grazie del programma e del libro che mi hai indicato, lo guarderò.